Details

Time bar (total: 15.3s)

sample223.0ms

Algorithm
intervals
Results
62.0ms44×body1280valid
60.0ms141×body80valid
50.0ms21×body2560valid
23.0ms25×body640valid
12.0ms17×body320valid
4.0ms8×body160valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done13
213
111
08

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.6b

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

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

series144.0ms

Counts
3 → 9
Calls
3 calls:
58.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
14.0ms
(sin (/ x (* y 2.0)))
71.0ms
(tan (/ x (* y 2.0)))

simplify1.1s

Counts
55 → 55
Iterations
IterNodes
done5001
33025
2499
1147
080

prune359.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 23.7b

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

prune56.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 23.7b

localize11.0ms

Local error

Found 1 expressions with local error:

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

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

series27.0ms

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

simplify2.0s

Counts
71 → 71
Iterations
IterNodes
done5000
22592
1390
0110

prune232.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 23.7b

localize20.0ms

Local error

Found 4 expressions with local error:

8.0b
(/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ 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)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
9×add-cbrt-cube add-exp-log
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 insert-posit16 add-log-exp
3×times-frac associate-/l*
2×cbrt-undiv div-exp
1×clear-num associate-/r* frac-2neg prod-exp associate-/r/ cbrt-unprod div-inv sin-cos-mult
Counts
4 → 47
Calls
4 calls:
26.0ms
(/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
4.0ms
(sin (/ x (* y 2.0)))
8.0ms
(sin (/ x (* y 2.0)))
5.0ms
(cos (/ x (* y 2.0)))

series64.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
14.0ms
(sin (/ x (* y 2.0)))
10.0ms
(sin (/ x (* y 2.0)))
14.0ms
(cos (/ x (* y 2.0)))

simplify1.9s

Counts
59 → 59
Iterations
IterNodes
done5000
33494
2476
1150
074

prune296.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 23.7b

regimes851.0ms

Accuracy

34.1% (1.4b remaining)

Error of 26.9b against oracle of 25.5b and baseline of 27.6b

bsearch11.0ms

Steps
ItersRangePoint
5
7.456058866367125
19.232322783914537
18.897821419563815

simplify3.0ms

Iterations
IterNodes
done17
117
015

end0.0ms

sample7.9s

Algorithm
intervals
Results
2.2s1293×body1280valid
2.0s624×body2560valid
1.7s4201×body80valid
1.2s1005×body640valid
463.0ms563×body320valid
200.0ms314×body160valid