Details

Time bar (total: 56.2s)

sample64.0ms

Algorithm
intervals
Results
26.0ms330×body80valid

simplify23.7s

Counts
1 → 1
Iterations
IterNodes
done5000
434795
424756
414327
404289
393884
383847
373466
363428
353071
343034
332701
322662
312353
302316
292031
281994
271733
261696
251459
241421
231208
221171
21982
20945
19780
18742
17601
16564
15447
14410
13317
12280
11211
10174
9134
8107
766
650
545
439
335
225
115
06

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* y (+ z x)))
0.0b
(* y (+ z x))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity
4×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt add-log-exp
3×associate-*l*
2×distribute-rgt-in associate-+r+ distribute-lft-in flip3-+ associate-*r/ flip-+ insert-posit16
1×+-commutative sum-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
2 → 38
Calls
2 calls:
14.0ms
(+ x (* y (+ z x)))
81.0ms
(* y (+ z x))

series132.0ms

Counts
2 → 6
Calls
2 calls:
72.0ms
(+ x (* y (+ z x)))
60.0ms
(* y (+ z x))

simplify5.6s

Counts
44 → 44
Iterations
IterNodes
done5005
32919
2629
1197
068

prune517.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize138.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
27.0ms
(* (cbrt y) (cbrt y))
2.0ms
(cbrt y)
2.0ms
(cbrt y)
2.0ms
(cbrt y)

series1.2s

Counts
4 → 12
Calls
4 calls:
350.0ms
(* (cbrt y) (cbrt y))
304.0ms
(cbrt y)
292.0ms
(cbrt y)
294.0ms
(cbrt y)

simplify8.6s

Counts
89 → 89
Iterations
IterNodes
done5015
43770
31044
2353
1137
063

prune998.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize166.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt y) (+ z x))
0.4b
(* (cbrt (* y y)) (* (cbrt y) (+ z x)))
0.6b
(cbrt y)
25.8b
(cbrt (* y y))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
11×pow1 *-un-lft-identity add-exp-log
10×associate-*l*
9×cbrt-prod add-cube-cbrt
7×add-cbrt-cube
6×associate-*r/
5×distribute-rgt-in distribute-lft-in associate-*r*
4×pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
2×flip3-+ pow1/3 *-commutative flip-+ unswap-sqr
1×distribute-lft-out
Counts
4 → 76
Calls
4 calls:
83.0ms
(* (cbrt y) (+ z x))
72.0ms
(* (cbrt (* y y)) (* (cbrt y) (+ z x)))
2.0ms
(cbrt y)
8.0ms
(cbrt (* y y))

series1.1s

Counts
4 → 12
Calls
4 calls:
283.0ms
(* (cbrt y) (+ z x))
112.0ms
(* (cbrt (* y y)) (* (cbrt y) (+ z x)))
358.0ms
(cbrt y)
300.0ms
(cbrt (* y y))

simplify2.7s

Counts
88 → 88
Iterations
IterNodes
done5000
21151
1332
0126

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize228.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt y))
0.6b
(cbrt (cbrt y))
0.6b
(cbrt (cbrt y))
25.8b
(cbrt (* y y))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
28×cbrt-prod
10×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 → 55
Calls
4 calls:
7.0ms
(cbrt (cbrt y))
7.0ms
(cbrt (cbrt y))
7.0ms
(cbrt (cbrt y))
18.0ms
(cbrt (* y y))

series1.6s

Counts
4 → 12
Calls
4 calls:
374.0ms
(cbrt (cbrt y))
427.0ms
(cbrt (cbrt y))
492.0ms
(cbrt (cbrt y))
333.0ms
(cbrt (* y y))

simplify4.6s

Counts
67 → 67
Iterations
IterNodes
done5000
52258
4651
3285
2148
182
051

prune950.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes704.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done9
19
06

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.1s10227×body80valid