Details

Time bar (total: 10.9s)

sample77.0ms

Algorithm
intervals
Results
19.0ms59×body640valid
13.0ms240×body80nan
10.0ms133×body80valid
9.0ms38×body320valid
5.0ms26×body160valid

simplify2.0ms

Counts
1 → 1
Iterations
IterNodes
done4
04

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.1b

localize15.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (sin (sqrt x)) (sqrt x))
27.4b
(sin (sqrt x))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
18×times-frac
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×sqrt-prod
associate-/r*
add-cbrt-cube add-exp-log
associate-/l*
pow1 add-log-exp
cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
2 → 46
Calls
2 calls:
24.0ms
(/ (sin (sqrt x)) (sqrt x))
7.0ms
(sin (sqrt x))

series520.0ms

Counts
2 → 6
Calls
2 calls:
364.0ms
(/ (sin (sqrt x)) (sqrt x))
156.0ms
(sin (sqrt x))

simplify1.3s

Counts
52 → 52
Iterations
IterNodes
done5000
2922
1254
0117

prune414.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 26.9b

localize52.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (/ (sin (sqrt x)) (sqrt x)))
27.4b
(sin (sqrt x))
27.4b
(sin (sqrt x))
27.4b
(sin (sqrt x))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
22×cbrt-prod
18×times-frac
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
sqrt-prod
pow1 add-cbrt-cube add-exp-log add-log-exp
cbrt-div pow1/3 div-inv
Counts
4 → 52
Calls
4 calls:
7.0ms
(cbrt (/ (sin (sqrt x)) (sqrt x)))
6.0ms
(sin (sqrt x))
6.0ms
(sin (sqrt x))
7.0ms
(sin (sqrt x))

series1.4s

Counts
4 → 12
Calls
4 calls:
971.0ms
(cbrt (/ (sin (sqrt x)) (sqrt x)))
160.0ms
(sin (sqrt x))
158.0ms
(sin (sqrt x))
160.0ms
(sin (sqrt x))

simplify2.3s

Counts
64 → 64
Iterations
IterNodes
done5001
21801
1510
0216

prune547.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 26.9b

regimes589.0ms

Accuracy

0% (0.3b remaining)

Error of 27.3b against oracle of 27.0b and baseline of 27.3b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done16
116
014

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.3s7966×body80nan
834.0ms1885×body640valid
416.0ms4127×body80valid
364.0ms1341×body320valid
159.0ms647×body160valid