Details

Time bar (total: 9.3s)

sample53.0ms

Algorithm
intervals
Results
17.0ms279×body80nan
16.0ms256×body80valid

simplify2.0ms

Counts
1 → 1
Iterations
IterNodes
14
04

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.2b

localize11.0ms

Local error

Found 1 expressions with local error:

16.2b
(sqrt (/ x y))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
13×sqrt-prod
11×add-sqr-sqrt
10×times-frac
*-un-lft-identity add-cube-cbrt
pow1 rem-sqrt-square
sqrt-pow1 add-cbrt-cube pow1/2 sqrt-div add-exp-log insert-posit16 div-inv add-log-exp
Counts
1 → 26
Calls
1 calls:
5.0ms
(sqrt (/ x y))

series110.0ms

Counts
1 → 3
Calls
1 calls:
110.0ms
(sqrt (/ x y))

simplify1.9s

Counts
29 → 29
Iterations
IterNodes
42731
3827
2302
1137
078

prune337.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
add-sqr-sqrt *-un-lft-identity add-cube-cbrt
pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 48
Calls
4 calls:
2.0ms
(cbrt x)
2.0ms
(cbrt x)
2.0ms
(cbrt y)
2.0ms
(cbrt y)

series1.7s

Counts
4 → 12
Calls
4 calls:
414.0ms
(cbrt x)
434.0ms
(cbrt x)
412.0ms
(cbrt y)
415.0ms
(cbrt y)

simplify1.5s

Counts
60 → 60
Iterations
IterNodes
52649
4874
3376
2170
175
044

prune857.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 0.1b

regimes505.0ms

Accuracy

0% (1.1b remaining)

Error of 1.1b against oracle of 0.1b and baseline of 1.1b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
29
19
08

end0.0ms

sample2.3s

Algorithm
intervals
Results
598.0ms8000×body80valid
535.0ms7956×body80nan