Details

Time bar (total: 10.3s)

sample83.0ms

Algorithm
intervals
Results
30.0ms257×body80valid
27.0ms267×body80nan

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
done2001
271999
261920
251833
241754
231683
221604
211517
201438
191367
181284
171201
161118
151047
14952
13872
12759
11599
10296
9215
8154
7104
684
568
441
323
216
113
07

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.7b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
65×log-prod
45×times-frac
42×add-sqr-sqrt
40×*-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×associate-*l* insert-posit16
2×rem-log-exp log-pow
1×log-div sub-neg flip3-- diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Counts
3 → 110
Calls
3 calls:
8.0ms
(- (* x (log (/ x y))) z)
8.0ms
(* x (log (/ x y)))
7.0ms
(log (/ x y))

series160.0ms

Counts
3 → 9
Calls
3 calls:
72.0ms
(- (* x (log (/ x y))) z)
52.0ms
(* x (log (/ x y)))
36.0ms
(log (/ x y))

simplify497.0ms

Counts
119 → 119
Iterations
IterNodes
done2004
2699
1355
0195

prune488.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.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×add-cbrt-cube div-exp prod-exp insert-posit16 add-log-exp
3×pow1/3
1×log-div times-frac log-pow div-inv
Counts
4 → 56
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
12.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

series956.0ms

Counts
4 → 12
Calls
4 calls:
285.0ms
(cbrt y)
283.0ms
(cbrt y)
271.0ms
(cbrt y)
118.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

simplify494.0ms

Counts
68 → 68
Iterations
IterNodes
done2000
3794
2295
1138
073

prune449.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b
(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 *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 48
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.0s

Counts
4 → 12
Calls
4 calls:
251.0ms
(cbrt x)
222.0ms
(cbrt y)
258.0ms
(cbrt y)
284.0ms
(cbrt y)

simplify458.0ms

Counts
60 → 60
Iterations
IterNodes
done2001
4884
3353
2172
177
044

prune376.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.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×add-cbrt-cube insert-posit16 add-log-exp
3×pow1/3
2×rem-log-exp
1×log-div div-exp log-pow div-inv
Counts
4 → 70
Calls
4 calls:
1.0ms
(cbrt x)
6.0ms
(cbrt x)
1.0ms
(cbrt x)
2.0ms
(log (/ (cbrt x) y))

series905.0ms

Counts
4 → 12
Calls
4 calls:
270.0ms
(cbrt x)
202.0ms
(cbrt x)
254.0ms
(cbrt x)
178.0ms
(log (/ (cbrt x) y))

simplify528.0ms

Counts
82 → 82
Iterations
IterNodes
done2000
31084
2392
1204
0111

prune536.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes308.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done24
124
018

end0.0ms

sample1.9s

Algorithm
intervals
Results
639.0ms8035×body80valid
508.0ms8064×body80nan