Details

Time bar (total: 17.7s)

sample227.0ms

Algorithm
intervals
Results
76.0ms25×body2560valid
64.0ms40×body1280valid
33.0ms143×body80valid
23.0ms26×body640valid
13.0ms19×body320valid
2.0ms3×body160valid

simplify7.0ms

Counts
1 → 1
Iterations
IterNodes
done11
111
08

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.8b

localize61.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ x (* y 2.0))
8.9b
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
26.2b
(sin (/ x (* y 2.0)))
26.2b
(tan (/ x (* y 2.0)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
11×add-cbrt-cube add-exp-log
6×associate-/l*
4×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp
2×clear-num frac-2neg tan-quot div-inv
1×prod-exp cbrt-unprod associate-/l/
Counts
4 → 76
Calls
4 calls:
7.0ms
(/ x (* y 2.0))
17.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
11.0ms
(sin (/ x (* y 2.0)))
6.0ms
(tan (/ x (* y 2.0)))

series140.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(/ x (* y 2.0))
51.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
11.0ms
(sin (/ x (* y 2.0)))
47.0ms
(tan (/ x (* y 2.0)))

simplify1.8s

Counts
88 → 88
Iterations
IterNodes
done5082
34054
2766
1239
0129

prune434.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 23.2b

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

prune104.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 23.2b

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ x (* y 2.0))
8.9b
(/ (tan (/ x (* y 2.0))) (sin (/ (/ x y) 2.0)))
26.2b
(sin (/ (/ x y) 2.0))
26.2b
(tan (/ x (* y 2.0)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
11×add-cbrt-cube add-exp-log
6×associate-/l*
4×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp
2×clear-num frac-2neg tan-quot div-inv
1×prod-exp cbrt-unprod associate-/l/
Counts
4 → 76
Calls
4 calls:
7.0ms
(/ x (* y 2.0))
10.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ (/ x y) 2.0)))
9.0ms
(sin (/ (/ x y) 2.0))
3.0ms
(tan (/ x (* y 2.0)))

series147.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(/ x (* y 2.0))
49.0ms
(/ (tan (/ x (* y 2.0))) (sin (/ (/ x y) 2.0)))
21.0ms
(sin (/ (/ x y) 2.0))
47.0ms
(tan (/ x (* y 2.0)))

simplify2.0s

Counts
88 → 88
Iterations
IterNodes
done5003
34184
2810
1243
0131

prune562.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 23.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (* y 2.0))
8.9b
(/ (tan (* x (/ 1 (* y 2.0)))) (sin (/ (/ x y) 2.0)))
26.2b
(sin (/ (/ x y) 2.0))
26.4b
(tan (* x (/ 1 (* y 2.0))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
11×add-cbrt-cube
7×pow1
6×associate-/l*
5×div-exp
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv prod-exp
2×rec-exp clear-num frac-2neg 1-exp tan-quot div-inv pow-flip
1×pow-prod-down cbrt-unprod inv-pow associate-/l/
Counts
4 → 83
Calls
4 calls:
9.0ms
(/ 1 (* y 2.0))
14.0ms
(/ (tan (* x (/ 1 (* y 2.0)))) (sin (/ (/ x y) 2.0)))
8.0ms
(sin (/ (/ x y) 2.0))
25.0ms
(tan (* x (/ 1 (* y 2.0))))

series172.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(/ 1 (* y 2.0))
58.0ms
(/ (tan (* x (/ 1 (* y 2.0)))) (sin (/ (/ x y) 2.0)))
16.0ms
(sin (/ (/ x y) 2.0))
75.0ms
(tan (* x (/ 1 (* y 2.0))))

simplify1.7s

Counts
95 → 95
Iterations
IterNodes
done5000
32389
2679
1263
0136

prune471.0ms

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 22.9b

regimes839.0ms

Accuracy

0% (3.5b remaining)

Error of 28.1b against oracle of 24.7b and baseline of 28.1b

bsearch0.0ms

simplify0.0ms

Iterations
IterNodes
done1
01

end0.0ms

sample8.8s

Algorithm
intervals
Results
2.5s1403×body1280valid
2.4s615×body2560valid
1.3s993×body640valid
1.2s4146×body80valid
979.0ms552×body320valid
183.0ms291×body160valid