Details

Time bar (total: 20.4s)

sample47.0ms

Algorithm
intervals
Results
16.0ms258×body80valid
13.0ms258×body80nan

simplify2.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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.5b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite39.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)
15.0ms
(* x (log (/ x y)))
3.0ms
(log (/ x y))

series245.0ms

Counts
3 → 9
Calls
3 calls:
118.0ms
(- (* x (log (/ x y))) z)
77.0ms
(* x (log (/ x y)))
51.0ms
(log (/ x y))

simplify3.1s

Counts
129 → 129
Iterations
IterNodes
done5012
33162
21012
1455
0218

prune688.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

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

series1.2s

Counts
4 → 12
Calls
4 calls:
284.0ms
(cbrt x)
261.0ms
(cbrt y)
299.0ms
(cbrt y)
343.0ms
(cbrt y)

simplify1.8s

Counts
68 → 68
Iterations
IterNodes
done5060
52872
4966
3364
2176
181
048

prune537.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize45.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 *-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)
2.0ms
(cbrt y)
2.0ms
(cbrt y)
2.0ms
(cbrt y)

series1.3s

Counts
4 → 12
Calls
4 calls:
297.0ms
(cbrt x)
271.0ms
(cbrt y)
297.0ms
(cbrt y)
385.0ms
(cbrt y)

simplify1.9s

Counts
68 → 68
Iterations
IterNodes
done5060
52872
4966
3364
2176
181
048

prune453.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.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:
2.0ms
(cbrt y)
2.0ms
(cbrt y)
2.0ms
(cbrt y)
8.0ms
(log (/ x (cbrt y)))

series1.1s

Counts
4 → 12
Calls
4 calls:
326.0ms
(cbrt y)
332.0ms
(cbrt y)
311.0ms
(cbrt y)
174.0ms
(log (/ x (cbrt y)))

simplify2.1s

Counts
90 → 90
Iterations
IterNodes
done5003
43415
31110
2459
1240
0124

prune591.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes350.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done13
113
011

end0.0ms

sample1.8s

Algorithm
intervals
Results
940.0ms8037×body80valid
455.0ms7970×body80nan