Details

Time bar (total: 54.8s)

sample73.0ms

Algorithm
intervals
Results
19.0ms241×body80valid
5.0ms25×body320valid
4.0ms18×body640valid
3.0ms8×body1280valid
1.0ms8×body160valid

simplify4.1s

Counts
1 → 1
Iterations
IterNodes
done5000
62162
5786
4312
3120
244
123
011

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.3b

localize83.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t x) (- a z))
4.4b
(* (- y z) (/ (- t x) (- a z)))
5.0b
(+ x (* (- y z) (/ (- t x) (- a z))))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
73×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
23×distribute-lft-out-- difference-of-squares
10×add-cbrt-cube add-exp-log
5×pow1 associate-/r* flip3-- associate-*l* flip-- associate-/l* add-log-exp
4×associate-/r/
3×insert-posit16
2×frac-times cbrt-undiv div-exp associate-*l/ prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×+-commutative clear-num sum-log frac-2neg flip3-+ div-sub pow-prod-down associate-*r/ *-commutative flip-+
Counts
3 → 122
Calls
3 calls:
45.0ms
(/ (- t x) (- a z))
114.0ms
(* (- y z) (/ (- t x) (- a z)))
18.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))

series762.0ms

Counts
3 → 9
Calls
3 calls:
89.0ms
(/ (- t x) (- a z))
309.0ms
(* (- y z) (/ (- t x) (- a z)))
363.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))

simplify3.6s

Counts
131 → 131
Iterations
IterNodes
done5015
21774
1503
0186

prune1.8s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 6.5b

localize134.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
1.9b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
10.4b
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite440.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
59×*-un-lft-identity
52×times-frac
46×associate-*r*
37×cbrt-prod
27×add-cube-cbrt
25×add-exp-log
18×cbrt-div add-cbrt-cube
17×associate-*l*
16×distribute-lft-out-- difference-of-squares
10×associate-/r/
9×flip3-- flip--
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow1 add-log-exp unswap-sqr
5×frac-times
4×insert-posit16
3×associate-*l/ associate-*r/
2×pow1/3 div-inv
1×+-commutative sum-log flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 138
Calls
4 calls:
11.0ms
(cbrt (- a z))
9.0ms
(cbrt (- a z))
364.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
33.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
323.0ms
(cbrt (- a z))
299.0ms
(cbrt (- a z))
588.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
321.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify6.3s

Counts
150 → 150
Iterations
IterNodes
done5000
22909
1750
0258

prune2.5s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 6.5b

localize245.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
2.3b
(* (/ (/ (- y z) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (cbrt (- a z)))))
10.6b
(+ x (* (/ (/ (- y z) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (cbrt (- a z))))))

rewrite698.0ms

Algorithm
rewrite-expression-head
Rules
139×times-frac
133×add-sqr-sqrt
92×cbrt-prod
85×*-un-lft-identity
61×associate-*r*
58×cbrt-div
45×add-exp-log
44×associate-*l*
43×add-cube-cbrt
28×add-cbrt-cube
21×distribute-lft-out-- difference-of-squares
20×flip3-- flip--
18×associate-/r/
17×cbrt-undiv div-exp
16×unswap-sqr
14×prod-exp cbrt-unprod
13×frac-times
7×associate-*l/ associate-*r/
6×pow1 add-log-exp
4×insert-posit16
3×div-inv
2×pow1/3
1×+-commutative sum-log flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 200
Calls
4 calls:
18.0ms
(cbrt (- a z))
34.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
575.0ms
(* (/ (/ (- y z) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (cbrt (- a z)))))
37.0ms
(+ x (* (/ (/ (- y z) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (cbrt (- a z))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
288.0ms
(cbrt (- a z))
331.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
671.0ms
(* (/ (/ (- y z) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (cbrt (- a z)))))
357.0ms
(+ x (* (/ (/ (- y z) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (cbrt (- a z))))))

simplify8.3s

Counts
212 → 212
Iterations
IterNodes
done5000
24896
11283
0432

prune3.9s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 6.4b

localize524.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
0.6b
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
0.8b
(* (/ (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (* (/ (/ (cbrt (- y z)) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (/ (- t x) (cbrt (cbrt (- a z))))))
9.6b
(+ x (* (/ (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (* (/ (/ (cbrt (- y z)) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (/ (- t x) (cbrt (cbrt (- a z)))))))

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
208×times-frac
202×cbrt-div
162×add-exp-log
158×associate-*l*
105×cbrt-prod add-sqr-sqrt *-un-lft-identity
91×add-cbrt-cube
71×cbrt-undiv div-exp
67×add-cube-cbrt
66×associate-/r/
64×sqrt-div
61×flip3-- flip--
59×prod-exp cbrt-unprod
45×frac-times
32×sqrt-prod
25×associate-*r/
23×associate-*l/
19×distribute-lft-out-- difference-of-squares
9×pow1 div-inv
6×add-log-exp
4×insert-posit16
3×pow-prod-down
2×pow1/3
1×+-commutative sum-log flip3-+ associate-*r* *-commutative flip-+
Counts
4 → 281
Calls
4 calls:
32.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
32.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
1.3s
(* (/ (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (* (/ (/ (cbrt (- y z)) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (/ (- t x) (cbrt (cbrt (- a z))))))
39.0ms
(+ x (* (/ (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (* (/ (/ (cbrt (- y z)) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (/ (- t x) (cbrt (cbrt (- a z)))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
338.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
273.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
592.0ms
(* (/ (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (* (/ (/ (cbrt (- y z)) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (/ (- t x) (cbrt (cbrt (- a z))))))
415.0ms
(+ x (* (/ (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (* (/ (/ (cbrt (- y z)) (sqrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (cbrt (- a z))) (/ (- t x) (cbrt (cbrt (- a z)))))))

simplify4.5s

Counts
293 → 293
Iterations
IterNodes
done5000
11300
0442

prune5.6s

Pruning

19 alts after pruning (16 fresh and 3 done)

Merged error: 6.4b

regimes3.3s

Accuracy

48.4% (4.0b remaining)

Error of 8.6b against oracle of 4.6b and baseline of 12.4b

bsearch6.0ms

simplify25.0ms

Iterations
IterNodes
done56
156
046

end0.0ms

sample1.5s

Algorithm
intervals
Results
702.0ms7731×body80valid
129.0ms290×body1280valid
115.0ms474×body640valid
77.0ms419×body320valid
40.0ms296×body160valid
6.0ms18×body2560valid