Details

Time bar (total: 20.8s)

sample55.0ms

Algorithm
intervals
Results
19.0ms256×body80valid
14.0ms234×body80nan

simplify3.1s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.2b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite44.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)
18.0ms
(* x (log (/ x y)))
4.0ms
(log (/ x y))

series232.0ms

Counts
3 → 9
Calls
3 calls:
99.0ms
(- (* x (log (/ x y))) z)
84.0ms
(* x (log (/ x y)))
49.0ms
(log (/ x y))

simplify3.2s

Counts
129 → 129
Iterations
IterNodes
done5012
33162
21012
1455
0218

prune676.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

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

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

series1.2s

Counts
4 → 12
Calls
4 calls:
317.0ms
(cbrt y)
297.0ms
(cbrt x)
279.0ms
(cbrt x)
273.0ms
(cbrt x)

simplify1.6s

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

prune428.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.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:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
7.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

series980.0ms

Counts
4 → 12
Calls
4 calls:
305.0ms
(cbrt x)
307.0ms
(cbrt x)
248.0ms
(cbrt x)
119.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

simplify2.8s

Counts
76 → 76
Iterations
IterNodes
done5008
42750
3790
2301
1145
077

prune539.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(+ (* (- x) (log (* (cbrt y) (cbrt y)))) (* (log (/ x (cbrt y))) x))
4.7b
(log (/ x (cbrt y)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
24×log-prod
19×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
15×cbrt-prod
7×add-exp-log
6×add-log-exp
5×pow1
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
2×associate-+l+ pow1/3 rem-log-exp
1×distribute-rgt-in +-commutative log-div sum-log fma-def distribute-lft-in flip3-+ div-exp log-pow flip-+ div-inv
Counts
4 → 81
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
12.0ms
(+ (* (- x) (log (* (cbrt y) (cbrt y)))) (* (log (/ x (cbrt y))) x))
2.0ms
(log (/ x (cbrt y)))

series1.2s

Counts
4 → 12
Calls
4 calls:
317.0ms
(cbrt y)
252.0ms
(cbrt y)
427.0ms
(+ (* (- x) (log (* (cbrt y) (cbrt y)))) (* (log (/ x (cbrt y))) x))
207.0ms
(log (/ x (cbrt y)))

simplify2.6s

Counts
93 → 93
Iterations
IterNodes
done5000
34232
21155
1420
0178

prune522.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes245.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done15
115
012

end0.0ms

sample1.3s

Algorithm
intervals
Results
533.0ms8040×body80valid
414.0ms8219×body80nan