Details

Time bar (total: 15.5s)

sample58.0ms

Algorithm
intervals
Results
22.0ms238×body80valid
4.0ms18×body640valid
4.0ms13×body1280valid
2.0ms13×body320valid
0.0ms3×body160valid

simplify1.2s

Counts
1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.5b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t x) (- a z))
2.4b
(+ x (* (- y z) (/ (- t x) (- a z))))
6.4b
(* (- y z) (/ (- t x) (- a z)))

rewrite148.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-exp-log add-cbrt-cube
5×pow1 flip3-- associate-*l* associate-/r* flip-- associate-/l* add-log-exp
4×associate-/r/
2×cbrt-undiv frac-times div-exp associate-*l/ prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-+
Counts
3 → 119
Calls
3 calls:
33.0ms
(/ (- t x) (- a z))
8.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
95.0ms
(* (- y z) (/ (- t x) (- a z)))

series561.0ms

Counts
3 → 9
Calls
3 calls:
97.0ms
(/ (- t x) (- a z))
278.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
186.0ms
(* (- y z) (/ (- t x) (- a z)))

simplify777.0ms

Counts
128 → 128

prune520.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.5b

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a z))
0.5b
(cbrt (- a z))
2.6b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
7.7b
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

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

series1.1s

Counts
4 → 12
Calls
4 calls:
210.0ms
(cbrt (- a z))
211.0ms
(cbrt (- a z))
410.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
244.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify1.3s

Counts
146 → 146

prune582.0ms

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 5.5b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- t x))
0.6b
(cbrt (- t x))
0.8b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt 1)))
8.7b
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt 1))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
31×add-sqr-sqrt
22×add-cbrt-cube
21×times-frac
19×*-un-lft-identity
17×cbrt-prod associate-*l*
16×cbrt-div
15×prod-exp cbrt-unprod
12×cbrt-undiv div-exp
11×add-cube-cbrt
10×associate-*r*
8×flip3-- associate-/r/ flip-- unswap-sqr
6×pow1 add-log-exp
5×frac-times
3×associate-*r/ associate-*l/ distribute-lft-out-- difference-of-squares
2×pow1/3 div-inv
1×+-commutative flip3-+ pow-prod-down sum-log *-commutative flip-+
Counts
4 → 106
Calls
4 calls:
5.0ms
(cbrt (- t x))
4.0ms
(cbrt (- t x))
148.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt 1)))
9.0ms
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt 1))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
168.0ms
(cbrt (- t x))
168.0ms
(cbrt (- t x))
577.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt 1)))
257.0ms
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt 1))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify1.2s

Counts
118 → 118

prune808.0ms

Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 5.5b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- y z))
0.6b
(cbrt (- y z))
0.6b
(cbrt (- y z))
6.8b
(+ x (* (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt 1)))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
13×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
6×cbrt-div add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
1×+-commutative flip3-+ sum-log flip-+
Counts
4 → 56
Calls
4 calls:
11.0ms
(cbrt (- y z))
4.0ms
(cbrt (- y z))
5.0ms
(cbrt (- y z))
19.0ms
(+ x (* (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt 1)))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series914.0ms

Counts
4 → 12
Calls
4 calls:
230.0ms
(cbrt (- y z))
214.0ms
(cbrt (- y z))
196.0ms
(cbrt (- y z))
273.0ms
(+ x (* (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt 1)))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify586.0ms

Counts
68 → 68

prune554.0ms

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 5.5b

regimes713.0ms

Accuracy

12.1% (6.8b remaining)

Error of 11.1b against oracle of 4.3b and baseline of 12.1b

bsearch176.0ms

Steps
ItersRangePoint
7
2.0013219252172788e-175
1.5817682817464374e-173
1.160138367082974e-174
8
-1.773698987468071e-256
-1.6763764210816454e-259
-5.8035023220444026e-257

simplify796.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
667.0ms7730×body80valid
140.0ms497×body640valid
108.0ms427×body320valid
84.0ms289×body1280valid
52.0ms244×body160valid
7.0ms15×body2560valid