Details

Time bar (total: 17.1s)

sample65.0ms

Algorithm
intervals
Results
23.0ms257×body80valid
17.0ms280×body80nan

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5001
654993
644914
634843
624764
614677
604598
594527
584448
574361
564282
554211
544132
534045
523966
513895
503816
493729
483650
473579
463500
453413
443334
433263
423184
413097
403018
392947
382868
372781
362702
352631
342552
332465
322386
312315
302236
292149
282070
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: 11.0b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.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:
15.0ms
(- (* x (log (/ x y))) z)
8.0ms
(* x (log (/ x y)))
2.0ms
(log (/ x y))

series205.0ms

Counts
3 → 9
Calls
3 calls:
89.0ms
(- (* x (log (/ x y))) z)
75.0ms
(* x (log (/ x y)))
40.0ms
(log (/ x y))

simplify2.0s

Counts
119 → 119
Iterations
IterNodes
done5002
32575
2699
1355
0195

prune496.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
12×pow1
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×log-pow
5×rem-log-exp
4×add-cbrt-cube div-exp prod-exp insert-posit16 add-log-exp
3×log-div pow1/3
1×pow2 frac-times log-prod pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
Counts
4 → 59
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
8.0ms
(log (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

series676.0ms

Counts
4 → 12
Calls
4 calls:
204.0ms
(cbrt x)
188.0ms
(cbrt x)
189.0ms
(cbrt x)
95.0ms
(log (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

simplify1.7s

Counts
71 → 71
Iterations
IterNodes
done5007
42997
3775
2296
1134
069

prune434.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

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

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

series1.1s

Counts
4 → 12
Calls
4 calls:
281.0ms
(cbrt x)
276.0ms
(cbrt x)
253.0ms
(cbrt x)
288.0ms
(cbrt x)

simplify1.8s

Counts
60 → 60
Iterations
IterNodes
done5000
51361
4446
3184
295
145
025

prune388.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
12×pow1
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×log-pow
5×rem-log-exp
4×add-cbrt-cube div-exp prod-exp insert-posit16 add-log-exp
3×log-div pow1/3
1×pow2 frac-times log-prod pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
Counts
4 → 59
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
8.0ms
(log (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

series798.0ms

Counts
4 → 12
Calls
4 calls:
243.0ms
(cbrt x)
195.0ms
(cbrt x)
260.0ms
(cbrt x)
100.0ms
(log (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

simplify1.7s

Counts
71 → 71
Iterations
IterNodes
done5007
42997
3775
2296
1134
069

prune297.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes166.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done17
117
014

end0.0ms

sample1.5s

Algorithm
intervals
Results
754.0ms7835×body80nan
431.0ms8027×body80valid