Details

Time bar (total: 47.7s)

sample311.0ms

Algorithm
intervals
Results
86.0ms256×body80valid
48.0ms268×body80nan

simplify6.9s

Counts
1 → 1
Iterations
IterNodes
done5000
334898
324706
314526
304334
294154
283962
273788
263596
253416
243232
233052
222860
212686
202494
192314
182109
171891
161694
151512
141360
131210
121006
11651
10294
9206
8134
798
685
569
441
323
216
113
07

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.4b

localize32.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x (log (/ x y))) z)
0.3b
(* x (log (/ x y)))
12.9b
(log (/ x y))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
65×log-prod
45×times-frac
42×add-sqr-sqrt
40×add-cube-cbrt *-un-lft-identity
26×distribute-rgt-in distribute-lft-in associate--l+
8×add-exp-log
7×pow1
5×add-cbrt-cube div-inv add-log-exp
4×associate-*r*
3×associate-*l*
2×rem-log-exp log-pow
1×sub-neg log-div flip3-- diff-log div-exp pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
3 → 107
Calls
3 calls:
50.0ms
(- (* x (log (/ x y))) z)
29.0ms
(* x (log (/ x y)))
7.0ms
(log (/ x y))

series707.0ms

Counts
3 → 9
Calls
3 calls:
172.0ms
(- (* x (log (/ x y))) z)
447.0ms
(* x (log (/ x y)))
74.0ms
(log (/ x y))

simplify6.8s

Counts
116 → 116
Iterations
IterNodes
done5001
32811
2744
1379
0192

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.0ms

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

series2.2s

Counts
4 → 12
Calls
4 calls:
616.0ms
(cbrt x)
779.0ms
(cbrt y)
436.0ms
(cbrt y)
418.0ms
(cbrt y)

simplify3.7s

Counts
56 → 56
Iterations
IterNodes
done5036
52768
4882
3355
2170
177
042

prune1.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize107.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.0ms

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

series3.1s

Counts
4 → 12
Calls
4 calls:
748.0ms
(cbrt x)
1.2s
(cbrt y)
769.0ms
(cbrt y)
397.0ms
(cbrt y)

simplify3.9s

Counts
56 → 56
Iterations
IterNodes
done5036
52768
4882
3355
2170
177
042

prune1.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize266.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)
4.1b
(log (/ (cbrt x) y))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
22×log-prod
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×cbrt-prod times-frac
7×add-exp-log
5×pow1
4×add-cbrt-cube add-log-exp
3×pow1/3
2×rem-log-exp
1×log-div div-exp log-pow div-inv
Counts
4 → 66
Calls
4 calls:
1.0ms
(cbrt x)
2.0ms
(cbrt x)
1.0ms
(cbrt x)
7.0ms
(log (/ (cbrt x) y))

series2.8s

Counts
4 → 12
Calls
4 calls:
709.0ms
(cbrt x)
738.0ms
(cbrt x)
651.0ms
(cbrt x)
655.0ms
(log (/ (cbrt x) y))

simplify5.4s

Counts
78 → 78
Iterations
IterNodes
done5008
43099
31027
2391
1203
0109

prune1.9s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes374.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done15
115
012

end0.0ms

sample5.2s

Algorithm
intervals
Results
2.0s8039×body80valid
1.0s7921×body80nan