Details

Time bar (total: 12.9s)

sample162.0ms

Algorithm
intervals
Results
88.0ms96×body1280valid
31.0ms63×body640valid
10.0ms28×body320valid
7.0ms59×body80valid
3.0ms10×body160valid

simplify6.0ms

Counts
1 → 1
Iterations
IterNodes
done9
29
18
06

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.5b

localize23.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (sin x) (sin (- x y)))
3.2b
(sin (- x y))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
times-frac
add-cbrt-cube add-exp-log
associate-/r* associate-/l*
pow1 sin-sum add-log-exp
cbrt-undiv clear-num sub-neg frac-2neg div-exp sin-diff div-inv
Counts
2 → 37
Calls
2 calls:
62.0ms
(/ (sin x) (sin (- x y)))
20.0ms
(sin (- x y))

series248.0ms

Counts
2 → 6
Calls
2 calls:
210.0ms
(/ (sin x) (sin (- x y)))
37.0ms
(sin (- x y))

simplify2.0s

Counts
43 → 43
Iterations
IterNodes
done5001
32083
2469
1152
080

prune323.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (* (sin x) (cos y)) (* (cos x) (sin y)))
0.1b
(* (sin x) (cos y))
0.1b
(* (cos x) (sin y))
0.1b
(/ (sin x) (- (* (sin x) (cos y)) (* (cos x) (sin y))))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
10×add-cbrt-cube add-exp-log
times-frac
pow1
associate-*r* associate-*l* add-log-exp
associate-/r* associate-/l*
flip3-- pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod flip-- unswap-sqr
cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp div-inv sin-cos-mult
Counts
4 → 78
Calls
4 calls:
40.0ms
(- (* (sin x) (cos y)) (* (cos x) (sin y)))
22.0ms
(* (sin x) (cos y))
23.0ms
(* (cos x) (sin y))
54.0ms
(/ (sin x) (- (* (sin x) (cos y)) (* (cos x) (sin y))))

series661.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(- (* (sin x) (cos y)) (* (cos x) (sin y)))
83.0ms
(* (sin x) (cos y))
79.0ms
(* (cos x) (sin y))
330.0ms
(/ (sin x) (- (* (sin x) (cos y)) (* (cos x) (sin y))))

simplify2.2s

Counts
90 → 90
Iterations
IterNodes
done5000
21589
1352
0154

prune692.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes247.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done12
112
010

end0.0ms

sample6.1s

Algorithm
intervals
Results
3.7s2912×body1280valid
1.2s1892×body640valid
424.0ms798×body320valid
243.0ms2085×body80valid
146.0ms313×body160valid