Details

Time bar (total: 15.2s)

sample25.0ms

Algorithm
intervals
Results
7.0ms218×body80valid
2.0ms13×body1280valid
2.0ms17×body640valid
2.0ms22×body320valid
0.0ms5×body160valid

simplify5.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01113
12213
25113
310213
420013
541613
664313
796113
8161113
9368913
done500013

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.6b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- z t) y)
1.8b
(- (+ x y) (/ (* (- z t) y) (- a t)))
11.4b
(/ (* (- z t) y) (- a t))

rewrite57.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:
18.0ms
(* (- z t) y)
26.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
9.0ms
(/ (* (- z t) y) (- a t))

series199.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(* (- z t) y)
105.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
64.0ms
(/ (* (- z t) y) (- a t))

simplify504.0ms

Counts
79 → 79
Iterations

Useful iterations: 2 (110.0ms)

IterNodesCost
01501010
1390951
21619873
done5000873

prune192.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.9b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite113.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:
4.0ms
(cbrt (- a t))
20.0ms
(* (cbrt (- a t)) (cbrt (- a t)))
64.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)))))

series466.0ms

Counts
4 → 12
Calls
4 calls:
144.0ms
(cbrt (- a t))
117.0ms
(* (cbrt (- a t)) (cbrt (- a t)))
96.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
109.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify1.4s

Counts
180 → 180
Iterations

Useful iterations: 2 (307.0ms)

IterNodesCost
03263837
18903608
243173004
done50003004

prune526.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 3.9b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
135×cbrt-prod
72×times-frac
67×add-sqr-sqrt *-un-lft-identity
57×cbrt-div
49×add-cube-cbrt
34×frac-times
30×frac-sub
26×associate-*l/
22×associate-*r/
15×flip3-+ flip-+
9×distribute-lft-out-- add-log-exp difference-of-squares
6×associate-/r/
4×pow1 add-exp-log flip3-- add-cbrt-cube flip--
3×pow1/3 div-inv
2×diff-log
1×sub-neg associate--l+ sum-log
Counts
4 → 161
Calls
4 calls:
4.0ms
(cbrt (/ y (cbrt (- a t))))
4.0ms
(cbrt (/ y (cbrt (- a t))))
7.0ms
(cbrt (/ y (cbrt (- a t))))
31.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (* (cbrt (/ y (cbrt (- a t)))) (cbrt (/ y (cbrt (- a t)))))) (cbrt (/ y (cbrt (- a t))))))

series748.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(cbrt (/ y (cbrt (- a t))))
194.0ms
(cbrt (/ y (cbrt (- a t))))
189.0ms
(cbrt (/ y (cbrt (- a t))))
166.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (* (cbrt (/ y (cbrt (- a t)))) (cbrt (/ y (cbrt (- a t)))))) (cbrt (/ y (cbrt (- a t))))))

simplify947.0ms

Counts
173 → 173
Iterations

Useful iterations: 2 (229.0ms)

IterNodesCost
03365344
17875165
226054476
done50014476

prune661.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.9b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
489×cbrt-div
258×frac-times
142×associate-*r/ associate-*l/
135×cbrt-prod
126×frac-sub
72×times-frac
67×add-sqr-sqrt *-un-lft-identity
63×flip3-+ flip-+
49×add-cube-cbrt
9×distribute-lft-out-- add-log-exp difference-of-squares
6×associate-/r/
4×pow1 add-exp-log flip3-- add-cbrt-cube flip--
3×pow1/3 div-inv
2×diff-log
1×sub-neg associate--l+ sum-log
Counts
4 → 257
Calls
4 calls:
8.0ms
(cbrt (/ y (cbrt (- a t))))
4.0ms
(cbrt (/ y (cbrt (- a t))))
5.0ms
(cbrt (/ y (cbrt (- a t))))
54.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (* (cbrt (/ y (cbrt (- a t)))) (cbrt (/ y (cbrt (- a t)))))) (* (cbrt (* (cbrt (/ y (cbrt (- a t)))) (cbrt (/ y (cbrt (- a t)))))) (cbrt (cbrt (/ y (cbrt (- a t))))))))

series783.0ms

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

simplify602.0ms

Counts
269 → 269
Iterations

Useful iterations: done (587.0ms)

IterNodesCost
069316472
1193216095
done500216044

prune1.2s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 3.9b

regimes370.0ms

Accuracy

13.2% (6.9b remaining)

Error of 11.0b against oracle of 4.1b and baseline of 12.0b

bsearch106.0ms

Steps
ItersRangePoint
8
7.716107484148514e+100
2.187027434812202e+103
2.1017965543309036e+103
4
3.921530203054118e-05
6.379368274952145e-05
4.284016413510673e-05
9
-1.0490688862218808e+141
-3.7430369710550457e+133
-6.605766029898568e+137

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02752
13252
done3252

end0.0ms

sample659.0ms

Algorithm
intervals
Results
243.0ms7307×body80valid
54.0ms462×body640valid
49.0ms288×body1280valid
33.0ms376×body320valid
16.0ms273×body160valid
3.0ms16×body2560valid