Details

Time bar (total: 33.6s)

sample163.0ms

Algorithm
intervals
Results
57.0ms44×body1280valid
39.0ms21×body2560valid
21.0ms141×body80valid
16.0ms25×body640valid
8.0ms17×body320valid
3.0ms8×body160valid

simplify16.0ms

Counts
1 → 1
Iterations
IterNodes
done11
111
08

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.0b

localize101.0ms

Local error

Found 3 expressions with local error:

7.9b
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
26.0b
(sin (/ x (* y 2.0)))
26.4b
(tan (/ x (* y 2.0)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
5×add-cbrt-cube add-exp-log
3×pow1 associate-/r* insert-posit16 associate-/l* add-log-exp
2×tan-quot
1×cbrt-undiv clear-num frac-2neg div-exp div-inv associate-/l/
Counts
3 → 46
Calls
3 calls:
25.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)))

series194.0ms

Counts
3 → 9
Calls
3 calls:
103.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
15.0ms
(sin (/ x (* y 2.0)))
77.0ms
(tan (/ x (* y 2.0)))

simplify3.3s

Counts
55 → 55
Iterations
IterNodes
done5034
31598
2417
1147
080

prune876.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 23.7b

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune167.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 23.7b

localize66.0ms

Local error

Found 1 expressions with local error:

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

rewrite79.0ms

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

series64.0ms

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

simplify7.3s

Counts
71 → 71
Iterations
IterNodes
done5010
33728
21278
1376
0110

prune745.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 23.7b

localize113.0ms

Local error

Found 4 expressions with local error:

7.9b
(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
26.0b
(sin (/ x (* y 2.0)))
26.0b
(sin (/ x (* y 2.0)))
26.1b
(cos (/ x (* y 2.0)))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
46×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×associate-/l*
9×add-cbrt-cube add-exp-log
5×div-inv
4×pow1 insert-posit16 add-log-exp
3×cbrt-undiv associate-/r* div-exp
1×clear-num frac-2neg associate-/l/
Counts
4 → 95
Calls
4 calls:
136.0ms
(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
14.0ms
(sin (/ x (* y 2.0)))
13.0ms
(sin (/ x (* y 2.0)))
20.0ms
(cos (/ x (* y 2.0)))

series113.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
23.0ms
(sin (/ x (* y 2.0)))
16.0ms
(sin (/ x (* y 2.0)))
20.0ms
(cos (/ x (* y 2.0)))

simplify9.6s

Counts
107 → 107
Iterations
IterNodes
done5023
34533
21173
1386
0164

prune1.2s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 23.7b

regimes1.8s

Accuracy

14.3% (2.0b remaining)

Error of 27.4b against oracle of 25.5b and baseline of 27.8b

bsearch193.0ms

Steps
ItersRangePoint
8
3.2607152950905365e+271
1.7618026651358458e+275
1.728415504785257e+275
0
0.0
1.4821969375237e-323
4.9406564584125e-324

simplify11.0ms

Iterations
IterNodes
done26
126
021

end0.0ms

sample7.3s

Algorithm
intervals
Results
1.9s1293×body1280valid
1.7s4201×body80valid
1.7s624×body2560valid
1.0s1005×body640valid
382.0ms563×body320valid
209.0ms314×body160valid