Details

Time bar (total: 16.5s)

sample24.0ms

Algorithm
intervals
Results
7.0ms238×body80valid
2.0ms12×body1280valid
1.0ms12×body320valid
1.0ms8×body640valid
1.0ms10×body160valid

simplify4.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01113
12213
25113
310113
419113
534313
650613
765913
879113
9102313
10140013
11227213
12330313
13418813
done500013

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.2b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- z t) y)
2.3b
(- (+ x y) (/ (* (- z t) y) (- a t)))
11.9b
(/ (* (- z t) y) (- a t))

rewrite53.0ms

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

series200.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(* (- z t) y)
109.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
63.0ms
(/ (* (- z t) y) (- a t))

simplify809.0ms

Counts
79 → 79
Iterations

Useful iterations: 2 (148.0ms)

IterNodesCost
01501010
1383951
21483873
done5001873

prune208.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.6b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.6b
(* (cbrt (- a t)) (cbrt (- a t)))
2.0b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
6.7b
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
72×add-sqr-sqrt
54×*-un-lft-identity
50×cbrt-prod
38×associate-*r*
36×times-frac
30×add-cube-cbrt
28×cbrt-div
27×add-exp-log
25×associate-*l*
18×add-cbrt-cube
15×flip3-- flip--
13×pow1
11×frac-times distribute-lft-out--
10×swap-sqr associate-/r/ unswap-sqr
9×prod-exp cbrt-unprod add-log-exp difference-of-squares
7×cbrt-undiv pow1/3 associate-*r/ div-exp associate-*l/
6×frac-sub
3×flip3-+ pow-prod-down flip-+
2×diff-log pow-sqr *-commutative pow-prod-up div-inv
1×pow2 sub-neg pow-plus associate--l+ sum-log
Counts
4 → 168
Calls
4 calls:
5.0ms
(cbrt (- a t))
20.0ms
(* (cbrt (- a t)) (cbrt (- a t)))
66.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
18.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

series473.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(cbrt (- a t))
119.0ms
(* (cbrt (- a t)) (cbrt (- a t)))
97.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
112.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify1.3s

Counts
180 → 180
Iterations

Useful iterations: done (1.3s)

IterNodesCost
03263837
18843584
235583004
done50002988

prune568.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.6b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
87×cbrt-div
51×cbrt-prod
46×frac-times
30×frac-sub
28×associate-*r/ associate-*l/
24×associate-/r/
19×flip3-- flip--
16×add-sqr-sqrt *-un-lft-identity
15×flip3-+ times-frac flip-+
10×add-cube-cbrt
9×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3 div-inv distribute-lft-out-- difference-of-squares
2×diff-log
1×sub-neg associate--l+ sum-log
Counts
4 → 122
Calls
4 calls:
10.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
10.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
12.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
27.0ms
(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
350.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
338.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
343.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
111.0ms
(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

simplify818.0ms

Counts
134 → 134
Iterations

Useful iterations: 2 (227.0ms)

IterNodesCost
02996298
17296141
222645197
done50005197

prune550.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.6b

localize28.0ms

Local error

Found 4 expressions with local error:

1.2b
(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))
2.3b
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
2.3b
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
7.2b
(- (+ x y) (* (* (* (cbrt (- z t)) (cbrt (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
250×cbrt-div
175×frac-times
125×associate-*l/
94×frac-sub
75×cbrt-prod
62×add-sqr-sqrt
61×associate-*r/
52×flip3-- flip--
48×times-frac
47×flip3-+ flip-+
38×*-un-lft-identity
30×associate-*r*
26×add-cube-cbrt associate-/r/
20×associate-*l*
9×add-exp-log add-log-exp unswap-sqr
6×pow1 add-cbrt-cube distribute-lft-out-- difference-of-squares
4×div-inv
2×pow1/3 diff-log prod-exp cbrt-unprod
1×cbrt-undiv sub-neg div-exp pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 235
Calls
4 calls:
47.0ms
(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))
13.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
10.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
43.0ms
(- (+ x y) (* (* (* (cbrt (- z t)) (cbrt (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

series2.2s

Counts
4 → 12
Calls
4 calls:
1.4s
(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))
348.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
354.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
115.0ms
(- (+ x y) (* (* (* (cbrt (- z t)) (cbrt (/ 1 (* (cbrt (- a t)) (cbrt (- a t)))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

simplify823.0ms

Counts
247 → 247
Iterations

Useful iterations: done (811.0ms)

IterNodesCost
070915325
1199314766
done500114742

prune1.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.6b

regimes347.0ms

Accuracy

23.3% (5.7b remaining)

Error of 10.1b against oracle of 4.4b and baseline of 11.8b

bsearch103.0ms

Steps
ItersRangePoint
8
1.061409852318459e-82
7.195723374155098e-79
5.0649579885006034e-82
7
-1.2060471371829535e-230
-9.166642237663663e-233
-8.77698945948147e-231

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
042146
155146
done55146

end0.0ms

sample661.0ms

Algorithm
intervals
Results
248.0ms7324×body80valid
59.0ms484×body640valid
38.0ms257×body1280valid
37.0ms413×body320valid
14.0ms234×body160valid
2.0ms11×body2560valid