Details

Time bar (total: 34.6s)

sample25.0ms

Algorithm
intervals
Results
8.0ms242×body80valid
1.0ms5×body1280valid
0.0ms3×body640valid
0.0ms1×body2560valid
0.0ms3×body320valid
0.0ms2×body160valid

simplify194.0ms

Counts
1 → 1
Iterations
IterNodes
done249
6249
5248
4240
3145
253
120
08

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite259.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity add-log-exp
19×sum-log distribute-lft-out
1×add-sqr-sqrt pow1 +-commutative associate-+r+ flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
Counts
1 → 23
Calls
1 calls:
256.0ms
(+ x (+ z (+ (+ y x) (+ y x))))

series47.0ms

Counts
1 → 3
Calls
1 calls:
47.0ms
(+ x (+ z (+ (+ y x) (+ y x))))

simplify2.4s

Counts
26 → 26
Iterations
IterNodes
done5008
33484
2514
1136
053

prune85.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x (+ z (+ (+ y x) (+ y x)))))
0.5b
(cbrt (+ x (+ z (+ (+ y x) (+ y x)))))
0.5b
(cbrt (+ x (+ z (+ (+ y x) (+ y x)))))
0.5b
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))

rewrite3.4s

Algorithm
rewrite-expression-head
Rules
502×*-un-lft-identity
361×distribute-lft-out
151×cbrt-prod
54×swap-sqr
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
12×associate-*r* associate-*l*
11×pow1
9×flip3-+ pow1/3 flip-+
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 165
Calls
4 calls:
272.0ms
(cbrt (+ x (+ z (+ (+ y x) (+ y x)))))
283.0ms
(cbrt (+ x (+ z (+ (+ y x) (+ y x)))))
314.0ms
(cbrt (+ x (+ z (+ (+ y x) (+ y x)))))
2.5s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
385.0ms
(cbrt (+ x (+ z (+ (+ y x) (+ y x)))))
354.0ms
(cbrt (+ x (+ z (+ (+ y x) (+ y x)))))
332.0ms
(cbrt (+ x (+ z (+ (+ y x) (+ y x)))))
457.0ms
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))

simplify3.1s

Counts
177 → 177
Iterations
IterNodes
done5001
33888
2856
1317
0136

prune803.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
0.5b
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
0.5b
(cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
0.5b
(cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))

rewrite5.1s

Algorithm
rewrite-expression-head
Rules
871×*-un-lft-identity
627×distribute-lft-out
270×cbrt-prod
108×swap-sqr
48×cbrt-div
38×add-sqr-sqrt
24×associate-*r* associate-*l*
22×add-cube-cbrt
19×flip3-+ flip-+
18×pow1
14×pow1/3
12×frac-times
8×add-exp-log unswap-sqr
6×associate-*l/ associate-*r/
4×add-cbrt-cube pow-prod-down pow-sqr pow-prod-up add-log-exp
2×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 255
Calls
4 calls:
2.2s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
2.2s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
275.0ms
(cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
500.0ms
(cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))

series2.0s

Counts
4 → 12
Calls
4 calls:
443.0ms
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
470.0ms
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
451.0ms
(cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
592.0ms
(cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))

simplify2.9s

Counts
267 → 267
Iterations
IterNodes
done5000
34388
21056
1411
0190

prune896.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize130.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
0.5b
(cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
0.5b
(cbrt (* (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))) (cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))))
0.5b
(cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
450×cbrt-div
140×frac-times
116×flip3-+ flip-+
58×*-un-lft-identity
52×associate-*l/
46×associate-*r/
44×cbrt-prod
38×distribute-lft-out
8×add-sqr-sqrt add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
Counts
4 → 150
Calls
4 calls:
293.0ms
(cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
271.0ms
(cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
1.6s
(cbrt (* (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))) (cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))))
540.0ms
(cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))

series2.5s

Counts
4 → 12
Calls
4 calls:
476.0ms
(cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
455.0ms
(cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
996.0ms
(cbrt (* (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))) (cbrt (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))))
617.0ms
(cbrt (* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x)))))))

simplify3.4s

Counts
162 → 162
Iterations
IterNodes
done5011
34492
21658
1857
0446

prune1.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes243.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done10
110
07

end0.0ms

sample1.0s

Algorithm
intervals
Results
516.0ms7437×body80valid
34.0ms174×body1280valid
30.0ms184×body640valid
16.0ms121×body320valid
12.0ms34×body2560valid
5.0ms62×body160valid