Details

Time bar (total: 19.1s)

sample75.0ms

Algorithm
intervals
Results
29.0ms239×body80valid
5.0ms18×body640valid
4.0ms10×body1280valid
3.0ms15×body320valid
1.0ms7×body160valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01113
12013
24513
311113
429213
586313
6338313
done500113

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.2b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- y z) (- t x))
2.1b
(+ x (/ (* (- y z) (- t x)) (- a z)))
17.8b
(/ (* (- y z) (- t x)) (- a z))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt *-un-lft-identity
13×flip3-- flip--
10×add-exp-log add-cbrt-cube
8×frac-times associate-/l/
7×add-cube-cbrt
5×pow1 times-frac associate-*r* associate-*l* associate-/r* add-log-exp
4×associate-*r/ associate-*l/ distribute-lft-out-- difference-of-squares
2×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in div-exp prod-exp associate-/r/ cbrt-unprod
1×+-commutative frac-2neg flip3-+ pow-prod-down clear-num sum-log *-commutative flip-+ div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
3 → 81
Calls
3 calls:
54.0ms
(* (- y z) (- t x))
22.0ms
(+ x (/ (* (- y z) (- t x)) (- a z)))
43.0ms
(/ (* (- y z) (- t x)) (- a z))

series547.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(* (- y z) (- t x))
299.0ms
(+ x (/ (* (- y z) (- t x)) (- a z)))
199.0ms
(/ (* (- y z) (- t x)) (- a z))

simplify1.3s

Counts
90 → 90
Iterations

Useful iterations: 2 (381.0ms)

IterNodesCost
01621284
14781213
225921111
done50001111

prune258.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.2b

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a z))
0.6b
(* (cbrt (- a z)) (cbrt (- a z)))
0.9b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
8.7b
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite242.0ms

Algorithm
rewrite-expression-head
Rules
96×add-sqr-sqrt
78×*-un-lft-identity
60×cbrt-prod
54×associate-*r*
52×times-frac
34×add-cube-cbrt
28×cbrt-div
27×add-exp-log
25×associate-*l*
21×distribute-lft-out--
19×difference-of-squares
18×add-cbrt-cube
14×flip3-- flip--
13×pow1
10×swap-sqr associate-/r/ unswap-sqr
9×frac-times prod-exp cbrt-unprod
7×cbrt-undiv pow1/3 div-exp
6×add-log-exp
5×associate-*r/ associate-*l/
3×pow-prod-down
2×pow-sqr *-commutative pow-prod-up div-inv
1×+-commutative pow2 flip3-+ pow-plus sum-log flip-+
Counts
4 → 175
Calls
4 calls:
4.0ms
(cbrt (- a z))
40.0ms
(* (cbrt (- a z)) (cbrt (- a z)))
180.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
9.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
198.0ms
(cbrt (- a z))
148.0ms
(* (cbrt (- a z)) (cbrt (- a z)))
465.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
207.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify1.8s

Counts
187 → 187
Iterations

Useful iterations: done (1.8s)

IterNodesCost
03074004
18793733
244543184
done50003171

prune704.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 5.2b

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- t x))
0.6b
(cbrt (- t x))
1.1b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
10.2b
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x)))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite201.0ms

Algorithm
rewrite-expression-head
Rules
40×cbrt-div
25×add-exp-log
20×frac-times flip3-- flip--
17×associate-*l*
16×add-sqr-sqrt
15×add-cbrt-cube
14×*-un-lft-identity associate-*r/
11×prod-exp cbrt-unprod
10×cbrt-prod
9×pow1
8×add-cube-cbrt associate-/r/
7×associate-*l/
6×times-frac add-log-exp
4×cbrt-undiv div-exp
3×pow-prod-down distribute-lft-out-- difference-of-squares
2×pow1/3 unswap-sqr
1×+-commutative flip3-+ associate-*r* sum-log *-commutative flip-+ div-inv
Counts
4 → 100
Calls
4 calls:
7.0ms
(cbrt (- t x))
7.0ms
(cbrt (- t x))
164.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
15.0ms
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x)))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series1.6s

Counts
4 → 12
Calls
4 calls:
212.0ms
(cbrt (- t x))
608.0ms
(cbrt (- t x))
594.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
208.0ms
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x)))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify1.4s

Counts
112 → 112
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02502939
16812774
224442430
done50002377

prune641.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 5.2b

localize58.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
1.1b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
1.1b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
9.7b
(+ x (* (* (* (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x)))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite635.0ms

Algorithm
rewrite-expression-head
Rules
108×cbrt-div
67×add-exp-log
60×frac-times
54×flip3-- flip--
51×associate-*l*
42×associate-*r/
37×add-cbrt-cube
33×prod-exp cbrt-unprod
24×associate-/r/
22×add-sqr-sqrt
21×associate-*l/
19×pow1
18×times-frac
16×*-un-lft-identity
12×cbrt-undiv div-exp
10×add-cube-cbrt
9×pow-prod-down
6×add-log-exp unswap-sqr
3×associate-*r* *-commutative div-inv distribute-lft-out-- difference-of-squares
1×+-commutative flip3-+ sum-log flip-+
Counts
4 → 188
Calls
4 calls:
199.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
186.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
222.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
8.0ms
(+ x (* (* (* (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x)))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series2.1s

Counts
4 → 12
Calls
4 calls:
606.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
628.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
592.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))
242.0ms
(+ x (* (* (* (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x)))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- t x)) (cbrt (- t x)))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify919.0ms

Counts
200 → 200
Iterations

Useful iterations: done (909.0ms)

IterNodesCost
02117267
16006815
221585209
done50015061

prune1.2s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 5.2b

regimes480.0ms

Accuracy

42.6% (4.6b remaining)

Error of 8.7b against oracle of 4.2b and baseline of 12.1b

bsearch3.0ms

simplify9.0ms

Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
042239
157143
done57143

end0.0ms

sample1.6s

Algorithm
intervals
Results
658.0ms7737×body80valid
124.0ms428×body320valid
101.0ms466×body640valid
71.0ms267×body1280valid
29.0ms270×body160valid
4.0ms12×body2560valid