Details

Time bar (total: 1.7m)

sample129.0ms

Algorithm
intervals
Results
45.0ms343×body80valid
1.0ms3×body1280valid
1.0ms4×body320valid
0.0ms1×body640valid

simplify32.1s

Counts
1 → 1
Iterations
IterNodes
done5000
284925
274689
264606
254370
244286
234050
223967
213731
203648
193412
183328
173092
163009
152773
142690
132452
122365
112140
102047
91811
81716
71470
61266
5973
4540
3212
282
130
012

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize37.0ms

Local error

Found 2 expressions with local error:

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

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
13×distribute-lft-out
8×associate-*l*
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp
3×associate-*r*
2×flip3-+ associate-*l/ flip-+
1×+-commutative pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
2 → 36
Calls
2 calls:
816.0ms
(+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))
1.5s
(* (+ (+ (+ z y) (+ z y)) t) x)

series196.0ms

Counts
2 → 6
Calls
2 calls:
115.0ms
(+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))
78.0ms
(* (+ (+ (+ z y) (+ z y)) t) x)

simplify3.1s

Counts
42 → 42
Iterations
IterNodes
done5006
2902
1215
074

prune400.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt x) (cbrt x))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×add-cbrt-cube 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 → 73
Calls
4 calls:
23.0ms
(* (cbrt x) (cbrt x))
2.0ms
(cbrt x)
2.0ms
(cbrt x)
2.0ms
(cbrt x)

series1.9s

Counts
4 → 12
Calls
4 calls:
558.0ms
(* (cbrt x) (cbrt x))
416.0ms
(cbrt x)
522.0ms
(cbrt x)
388.0ms
(cbrt x)

simplify14.9s

Counts
85 → 85
Iterations
IterNodes
done5002
43625
31001
2372
1137
061

prune2.9s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize89.0ms

Local error

Found 4 expressions with local error:

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

rewrite392.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×flip3-+ pow1/3 flip-+
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
28.0ms
(cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x)))
13.0ms
(cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x)))
14.0ms
(cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x)))
319.0ms
(* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))

series6.8s

Counts
4 → 12
Calls
4 calls:
1.6s
(cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x)))
1.2s
(cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x)))
1.7s
(cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x)))
2.2s
(* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))

simplify7.6s

Counts
99 → 99
Iterations
IterNodes
done5000
21295
1460
0183

prune1.9s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize257.0ms

Local error

Found 4 expressions with local error:

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

rewrite583.0ms

Algorithm
rewrite-expression-head
Rules
378×cbrt-div
144×frac-times
121×flip3-+ flip-+
54×associate-*r/
48×associate-*l/
30×cbrt-prod
24×add-sqr-sqrt
17×add-cube-cbrt
16×pow1 *-un-lft-identity
12×associate-*l*
11×add-exp-log pow1/3
7×swap-sqr associate-*r* pow-prod-down
5×add-cbrt-cube
4×prod-exp cbrt-unprod add-log-exp unswap-sqr
2×pow-sqr *-commutative pow-prod-up
1×pow2 pow-plus
Counts
4 → 184
Calls
4 calls:
315.0ms
(* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (* (cbrt (* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))) (cbrt (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))))
88.0ms
(* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))
11.0ms
(cbrt (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))
64.0ms
(cbrt (* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x)))))

series13.6s

Counts
4 → 12
Calls
4 calls:
4.5s
(* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (* (cbrt (* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))) (cbrt (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))))
4.4s
(* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))
1.6s
(cbrt (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))))
3.1s
(cbrt (* (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x))) (cbrt (+ (* 5.0 y) (* (+ (+ (+ z y) (+ z y)) t) x)))))

simplify6.7s

Counts
196 → 196
Iterations
IterNodes
done5001
22834
11111
0433

prune2.8s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes724.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done16
116
011

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.0s10640×body80valid
51.0ms97×body640valid
29.0ms67×body1280valid
13.0ms58×body320valid
5.0ms35×body160valid