Details

Time bar (total: 32.3s)

sample35.0ms

Algorithm
intervals
Results
13.0ms233×body80valid
3.0ms24×body640valid
2.0ms18×body320valid
1.0ms8×body1280valid
1.0ms8×body160valid

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011245
123245
244245
3120245
4312245
5786245
62162245
done5000245

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.1b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t x) (- a z))
3.2b
(+ x (* (- y z) (/ (- t x) (- a z))))
6.5b
(* (- y z) (/ (- t x) (- a z)))

rewrite129.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/
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 → 119
Calls
3 calls:
23.0ms
(/ (- t x) (- a z))
6.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
90.0ms
(* (- y z) (/ (- t x) (- a z)))

series439.0ms

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

simplify1.9s

Counts
128 → 128
Iterations

Useful iterations: 2 (569.0ms)

IterNodesCost
018336464
150033510
2176432944
done500132944

prune921.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 4.1b

localize41.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a z))
0.5b
(cbrt (- a z))
2.8b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
10.8b
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite217.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
3×associate-*l/ associate-*r/
2×pow1/3 div-inv
1×+-commutative sum-log flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 134
Calls
4 calls:
6.0ms
(cbrt (- a z))
7.0ms
(cbrt (- a z))
180.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
14.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
206.0ms
(cbrt (- a z))
215.0ms
(cbrt (- a z))
473.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
236.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify4.1s

Counts
146 → 146
Iterations

Useful iterations: done (4.1s)

IterNodesCost
025564937
174559777
2289959416
done500252796

prune1.1s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 4.1b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite352.0ms

Algorithm
rewrite-expression-head
Rules
174×add-sqr-sqrt
134×times-frac
132×cbrt-prod
122×*-un-lft-identity
85×add-exp-log
84×associate-*l*
60×add-cube-cbrt
47×associate-*r*
41×add-cbrt-cube
36×prod-exp cbrt-unprod
31×distribute-lft-out-- difference-of-squares
26×cbrt-undiv div-exp
15×unswap-sqr
11×pow1
8×cbrt-div
6×frac-times associate-*r/ associate-/r/ add-log-exp
4×flip3-- pow-prod-down associate-*l/ flip--
3×div-inv
2×*-commutative
1×+-commutative sum-log flip3-+ pow1/3 flip-+
Counts
4 → 239
Calls
4 calls:
6.0ms
(cbrt (- y z))
160.0ms
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))
150.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z)))))
7.0ms
(+ x (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))))

series3.4s

Counts
4 → 12
Calls
4 calls:
220.0ms
(cbrt (- y z))
2.5s
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))
437.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z)))))
235.0ms
(+ x (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))))

simplify6.0s

Counts
251 → 251
Iterations

Useful iterations: done (5.9s)

IterNodesCost
0404140504
11223134112
24232132702
done5008122622

prune1.7s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 4.1b

localize86.0ms

Local error

Found 4 expressions with local error:

3.3b
(cbrt (/ (- t x) (cbrt (- a z))))
3.3b
(cbrt (/ (- t x) (cbrt (- a z))))
3.3b
(cbrt (/ (- t x) (cbrt (- a z))))
9.3b
(+ x (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (* (/ (cbrt (- y z)) (cbrt (- a z))) (* (cbrt (/ (- t x) (cbrt (- a z)))) (cbrt (/ (- t x) (cbrt (- a z)))))) (cbrt (/ (- t x) (cbrt (- a z)))))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
213×cbrt-prod
139×add-sqr-sqrt *-un-lft-identity
120×times-frac
61×add-cube-cbrt
39×distribute-lft-out-- difference-of-squares
9×cbrt-div
6×associate-/r/ add-log-exp
4×pow1 add-cbrt-cube add-exp-log
3×flip3-- pow1/3 div-inv flip--
1×+-commutative sum-log flip3-+ flip-+
Counts
4 → 176
Calls
4 calls:
9.0ms
(cbrt (/ (- t x) (cbrt (- a z))))
11.0ms
(cbrt (/ (- t x) (cbrt (- a z))))
9.0ms
(cbrt (/ (- t x) (cbrt (- a z))))
7.0ms
(+ x (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (* (/ (cbrt (- y z)) (cbrt (- a z))) (* (cbrt (/ (- t x) (cbrt (- a z)))) (cbrt (/ (- t x) (cbrt (- a z)))))) (cbrt (/ (- t x) (cbrt (- a z)))))))

series1.3s

Counts
4 → 12
Calls
4 calls:
334.0ms
(cbrt (/ (- t x) (cbrt (- a z))))
320.0ms
(cbrt (/ (- t x) (cbrt (- a z))))
371.0ms
(cbrt (/ (- t x) (cbrt (- a z))))
271.0ms
(+ x (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (* (/ (cbrt (- y z)) (cbrt (- a z))) (* (cbrt (/ (- t x) (cbrt (- a z)))) (cbrt (/ (- t x) (cbrt (- a z)))))) (cbrt (/ (- t x) (cbrt (- a z)))))))

simplify2.6s

Counts
188 → 188
Iterations

Useful iterations: done (2.5s)

IterNodesCost
0236121949
1485114045
21137114045
done5000109318

prune1.5s

Pruning

12 alts after pruning (8 fresh and 4 done)

Merged error: 3.2b

regimes1.1s

Accuracy

57% (3.9b remaining)

Error of 7.1b against oracle of 3.3b and baseline of 12.2b

bsearch4.0ms

simplify18.0ms

Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0351307
1441307
done441307

end0.0ms

sample1.6s

Algorithm
intervals
Results
855.0ms7746×body80valid
105.0ms474×body640valid
103.0ms409×body320valid
74.0ms269×body1280valid
67.0ms251×body160valid
2.0ms8×body2560valid