Details

Time bar (total: 22.6s)

sample36.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
9.0ms267×body80nan

simplify3.4s

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.1b

localize16.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))

rewrite34.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:
14.0ms
(- (* x (log (/ x y))) z)
13.0ms
(* x (log (/ x y)))
3.0ms
(log (/ x y))

series218.0ms

Counts
3 → 9
Calls
3 calls:
88.0ms
(- (* x (log (/ x y))) z)
73.0ms
(* x (log (/ x y)))
56.0ms
(log (/ x y))

simplify3.3s

Counts
129 → 129
Iterations
IterNodes
done5012
33162
21012
1455
0218

prune705.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.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:
1.0ms
(cbrt y)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
2.0ms
(cbrt x)

series1.0s

Counts
4 → 12
Calls
4 calls:
266.0ms
(cbrt y)
265.0ms
(cbrt x)
236.0ms
(cbrt x)
267.0ms
(cbrt x)

simplify1.8s

Counts
68 → 68
Iterations
IterNodes
done5024
52489
4844
3362
2176
181
048

prune454.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize32.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))

rewrite13.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:
1.0ms
(cbrt x)
2.0ms
(cbrt x)
2.0ms
(cbrt x)
5.0ms
(log (/ (cbrt x) y))

series1.1s

Counts
4 → 12
Calls
4 calls:
309.0ms
(cbrt x)
307.0ms
(cbrt x)
257.0ms
(cbrt x)
230.0ms
(log (/ (cbrt x) y))

simplify2.0s

Counts
90 → 90
Iterations
IterNodes
done5000
43539
31118
2401
1208
0115

prune480.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize83.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)

rewrite4.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:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.2s

Counts
4 → 12
Calls
4 calls:
275.0ms
(cbrt x)
303.0ms
(cbrt x)
350.0ms
(cbrt x)
318.0ms
(cbrt x)

simplify4.4s

Counts
68 → 68
Iterations
IterNodes
done5011
64856
51192
4406
3186
297
147
027

prune510.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes311.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
011

end0.0ms

sample1.5s

Algorithm
intervals
Results
539.0ms8025×body80valid
536.0ms8045×body80nan