Details

Time bar (total: 40.9s)

sample250.0ms

Algorithm
intervals
Results
86.0ms46×body1280valid
59.0ms16×body2560valid
32.0ms37×body640valid
29.0ms131×body80valid
10.0ms16×body320valid
5.0ms10×body160valid

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
done11
111
08

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.7b

localize56.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)))

rewrite72.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:
56.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
7.0ms
(sin (/ x (* y 2.0)))
7.0ms
(tan (/ x (* y 2.0)))

series234.0ms

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

simplify2.6s

Counts
58 → 58
Iterations
IterNodes
done5002
31551
2420
1152
083

prune748.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

prune149.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 25.8b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite53.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:
47.0ms
(* (/ x y) (/ x y))

series83.0ms

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

simplify7.7s

Counts
72 → 72
Iterations
IterNodes
done5005
33767
21327
1378
0111

prune1.2s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 25.8b

localize101.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)))

rewrite340.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:
2.0ms
(expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
280.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
21.0ms
(sin (/ x (* y 2.0)))
20.0ms
(tan (/ x (* y 2.0)))

series799.0ms

Counts
4 → 12
Calls
4 calls:
302.0ms
(expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
326.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
20.0ms
(sin (/ x (* y 2.0)))
138.0ms
(tan (/ x (* y 2.0)))

simplify9.3s

Counts
72 → 72
Iterations
IterNodes
done5008
31832
2514
1188
0100

prune878.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 25.8b

regimes1.7s

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

sample14.5s

Algorithm
intervals
Results
6.9s1468×body1280valid
2.4s652×body2560valid
1.5s272×body160valid
1.3s4055×body80valid
1.3s1001×body640valid
421.0ms552×body320valid