Details

Time bar (total: 23.9s)

sample212.0ms

Algorithm
intervals
Results
61.0ms46×body1280valid
37.0ms16×body2560valid
30.0ms16×body320valid
30.0ms37×body640valid
23.0ms131×body80valid
4.0ms10×body160valid

simplify7.0ms

Counts
1 → 1
Iterations
IterNodes
done11
111
08

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.7b

localize35.0ms

Local error

Found 3 expressions with local error:

7.2b
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
28.2b
(sin (/ x (* y 2.0)))
28.4b
(tan (/ x (* y 2.0)))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
5×add-exp-log add-cbrt-cube
3×pow1 expm1-log1p-u associate-/r* log1p-expm1-u associate-/l* add-log-exp
2×tan-quot
1×cbrt-undiv frac-2neg div-exp clear-num div-inv associate-/l/
Counts
3 → 49
Calls
3 calls:
66.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
12.0ms
(sin (/ x (* y 2.0)))
8.0ms
(tan (/ x (* y 2.0)))

series213.0ms

Counts
3 → 9
Calls
3 calls:
99.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
22.0ms
(sin (/ x (* y 2.0)))
91.0ms
(tan (/ x (* y 2.0)))

simplify2.3s

Counts
58 → 58
Iterations
IterNodes
done5002
31551
2420
1152
083

prune737.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 25.8b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune147.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 25.8b

localize19.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (/ x y) (/ x y))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
40×times-frac
29×add-cube-cbrt *-un-lft-identity
13×add-exp-log swap-sqr associate-*r* associate-*l* add-cbrt-cube
8×pow1
4×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×pow2 expm1-log1p-u frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up log1p-expm1-u add-log-exp
Counts
1 → 69
Calls
1 calls:
45.0ms
(* (/ x y) (/ x y))

series69.0ms

Counts
1 → 3
Calls
1 calls:
69.0ms
(* (/ x y) (/ x y))

simplify5.5s

Counts
72 → 72
Iterations
IterNodes
done5005
33767
21327
1378
0111

prune593.0ms

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 25.8b

localize42.0ms

Local error

Found 4 expressions with local error:

0.7b
(expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
7.2b
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
28.2b
(sin (/ x (* y 2.0)))
28.4b
(tan (/ x (* y 2.0)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
6×add-exp-log add-cbrt-cube
5×log1p-expm1-u
4×pow1 expm1-log1p-u add-log-exp
3×associate-/r* associate-/l*
2×tan-quot
1×cbrt-undiv expm1-log1p frac-2neg div-exp clear-num div-inv associate-/l/ expm1-udef
Counts
4 → 60
Calls
4 calls:
1.0ms
(expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
33.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
11.0ms
(sin (/ x (* y 2.0)))
7.0ms
(tan (/ x (* y 2.0)))

series399.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
99.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
23.0ms
(sin (/ x (* y 2.0)))
94.0ms
(tan (/ x (* y 2.0)))

simplify2.5s

Counts
72 → 72
Iterations
IterNodes
done5008
31832
2514
1188
0100

prune684.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 25.8b

regimes1.2s

Accuracy

37.8% (1.5b remaining)

Error of 28.0b against oracle of 26.4b and baseline of 28.9b

bsearch4.0ms

simplify6.0ms

Iterations
IterNodes
done17
117
016

end0.0ms

sample9.1s

Algorithm
intervals
Results
2.6s4055×body80valid
2.2s1468×body1280valid
2.1s652×body2560valid
1.0s1001×body640valid
560.0ms552×body320valid
121.0ms272×body160valid