Details

Time bar (total: 40.6s)

sample84.0ms

Algorithm
intervals
Results
19.0ms256×body80valid
15.0ms267×body80nan

simplify6.9s

Counts
1 → 1
Iterations
IterNodes
done5001
384976
374797
364674
354495
344372
334193
324070
313889
303766
293585
283462
273283
263160
252980
242857
232677
222554
212375
202252
192073
181950
171771
161648
151469
141346
131180
12948
11602
10359
9234
8162
7127
6105
573
445
325
218
114
07

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.9b

localize48.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x (log (/ x y))) z)
0.2b
(* x (log (/ x y)))
16.3b
(log (/ x y))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
65×log-prod
45×times-frac
43×add-sqr-sqrt
41×*-un-lft-identity add-cube-cbrt
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×expm1-log1p-u associate-*l* prod-diff insert-posit16 log1p-expm1-u
2×rem-log-exp log-pow
1×log-div sub-neg flip3-- fma-neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Counts
3 → 120
Calls
3 calls:
19.0ms
(- (* x (log (/ x y))) z)
23.0ms
(* x (log (/ x y)))
9.0ms
(log (/ x y))

series295.0ms

Counts
3 → 9
Calls
3 calls:
146.0ms
(- (* x (log (/ x y))) z)
94.0ms
(* x (log (/ x y)))
55.0ms
(log (/ x y))

simplify6.2s

Counts
129 → 129
Iterations
IterNodes
done5000
33000
2938
1454
0218

prune1.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize126.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
3.8b
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
9×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×pow1 log-prod rem-log-exp
4×expm1-log1p-u add-cbrt-cube div-exp prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×log-div times-frac log-pow div-inv
Counts
4 → 64
Calls
4 calls:
2.0ms
(cbrt x)
2.0ms
(cbrt x)
2.0ms
(cbrt x)
20.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

series1.2s

Counts
4 → 12
Calls
4 calls:
332.0ms
(cbrt x)
298.0ms
(cbrt x)
313.0ms
(cbrt x)
220.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

simplify5.2s

Counts
76 → 76
Iterations
IterNodes
done5000
42818
3790
2301
1145
077

prune1.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
4.8b
(log (/ (cbrt x) y))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
22×log-prod
20×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×cbrt-prod times-frac
7×add-exp-log
5×pow1
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
2×rem-log-exp
1×log-div div-exp log-pow div-inv
Counts
4 → 78
Calls
4 calls:
3.0ms
(cbrt x)
3.0ms
(cbrt x)
4.0ms
(cbrt x)
12.0ms
(log (/ (cbrt x) y))

series1.1s

Counts
4 → 12
Calls
4 calls:
299.0ms
(cbrt x)
278.0ms
(cbrt x)
277.0ms
(cbrt x)
240.0ms
(log (/ (cbrt x) y))

simplify5.2s

Counts
90 → 90
Iterations
IterNodes
done5003
43231
31054
2410
1208
0115

prune1.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize308.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 56
Calls
4 calls:
3.0ms
(cbrt x)
4.0ms
(cbrt x)
3.0ms
(cbrt x)
4.0ms
(cbrt x)

series1.2s

Counts
4 → 12
Calls
4 calls:
280.0ms
(cbrt x)
264.0ms
(cbrt x)
316.0ms
(cbrt x)
298.0ms
(cbrt x)

simplify4.2s

Counts
68 → 68
Iterations
IterNodes
done5000
51244
4406
3186
297
147
027

prune1.0s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes690.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done20
120
016

end0.0ms

sample2.2s

Algorithm
intervals
Results
478.0ms8025×body80valid
442.0ms8045×body80nan