Details

Time bar (total: 7.0s)

sample23.0ms

Algorithm
intervals
Results
7.0ms240×body80valid
2.0ms14×body640valid
1.0ms7×body1280valid
1.0ms10×body320valid
0.0ms8×body160valid
0.0ms1×body2560valid

simplify115.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0226
1526
21096
31956
44456
58286
614346
725206
848306
950016

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.9b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.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:
6.0ms
(* (- z t) y)
10.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
9.0ms
(/ (* (- z t) y) (- a t))

series205.0ms

Counts
3 → 9
Calls
3 calls:
29.0ms
(* (- z t) y)
112.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
65.0ms
(/ (* (- z t) y) (- a t))

simplify45.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0383461
11704422
25001422

prune203.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 4.4b

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.5b
(* (cbrt (- a t)) (cbrt (- a t)))
3.5b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
6.9b
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite60.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:
3.0ms
(cbrt (- a t))
11.0ms
(* (cbrt (- a t)) (cbrt (- a t)))
33.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
6.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

series495.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(cbrt (- a t))
127.0ms
(* (cbrt (- a t)) (cbrt (- a t)))
101.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
117.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify119.0ms

Algorithm
egg-herbie
Counts
180 → 180
Iterations

Useful iterations: 2 (102.0ms)

IterNodesCost
08862068
143261890
250011779

prune580.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 4.3b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt (- a t)))
0.6b
(cbrt (cbrt (- a t)))
1.3b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))
7.4b
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
44×cbrt-div
39×add-cbrt-cube
32×prod-exp cbrt-unprod
26×cbrt-prod
23×add-sqr-sqrt
22×cbrt-undiv div-exp
19×frac-times
17×*-un-lft-identity associate-*l*
16×associate-/r/
15×flip3-- associate-*l/ flip--
14×frac-sub
13×associate-*r*
11×add-cube-cbrt associate-*r/
10×times-frac
9×add-log-exp
7×flip3-+ flip-+
6×pow1
4×unswap-sqr
3×distribute-lft-out-- difference-of-squares
2×pow1/3 diff-log div-inv
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 140
Calls
4 calls:
4.0ms
(cbrt (cbrt (- a t)))
4.0ms
(cbrt (cbrt (- a t)))
38.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))
7.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

series978.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(cbrt (cbrt (- a t)))
156.0ms
(cbrt (cbrt (- a t)))
496.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))
174.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

simplify56.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011503468
150012838

prune732.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 4.3b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
330×cbrt-div
273×frac-times
159×associate-*l/
135×associate-*r/
127×add-sqr-sqrt
126×frac-sub
108×times-frac
90×associate-*r*
79×*-un-lft-identity
67×add-exp-log
63×flip3-+ flip-+
55×add-cube-cbrt
51×cbrt-prod associate-*l*
46×add-cbrt-cube
30×associate-/r/
24×prod-exp cbrt-unprod
22×flip3-- flip--
21×cbrt-undiv div-exp
18×unswap-sqr
12×distribute-lft-out-- difference-of-squares
10×pow1
9×add-log-exp
6×div-inv
3×pow-prod-down *-commutative
2×diff-log
1×sub-neg associate--l+ sum-log
Counts
4 → 371
Calls
4 calls:
30.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
33.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
29.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
19.0ms
(- (+ x y) (* (* (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))))

series486.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
105.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
102.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
177.0ms
(- (+ x y) (* (* (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))) (cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))))

simplify122.0ms

Algorithm
egg-herbie
Counts
383 → 383
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
0209712532
1500111882

prune1.4s

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 4.3b

regimes384.0ms

Accuracy

32.3% (4.9b remaining)

Error of 8.8b against oracle of 3.8b and baseline of 11.1b

bsearch98.0ms

Steps
ItersRangePoint
5
1.9426594712364374e-87
4.171824463744457e-87
2.1175989246056562e-87
10
-4.812331238289187e-123
-9.514636308901896e-133
-1.693067188060901e-126

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03730
13730

end0.0ms

sample629.0ms

Algorithm
intervals
Results
243.0ms7397×body80valid
52.0ms460×body640valid
32.0ms226×body1280valid
32.0ms375×body320valid
18.0ms255×body160valid
4.0ms22×body2560valid