Details

Time bar (total: 3.8s)

sample21.0ms

Algorithm
intervals
Results
9.0ms324×body80valid

simplify18.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0155
1255
2395
3585
4735
5875
61025
71085
81105
91105

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.7b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ y z) (/ t (- 1.0 z)))
0.0b
(/ t (- 1.0 z))
2.5b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
45×*-un-lft-identity
31×times-frac
15×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
10×associate-*r*
7×add-exp-log add-cbrt-cube
5×pow1 associate-/r* add-log-exp
3×sub-neg flip3-- associate-*r/ associate-*l* flip-- associate-/l*
2×distribute-rgt-in distribute-lft-in associate-/r/ frac-sub
1×cbrt-undiv frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 89
Calls
3 calls:
28.0ms
(- (/ y z) (/ t (- 1.0 z)))
5.0ms
(/ t (- 1.0 z))
101.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series116.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(- (/ y z) (/ t (- 1.0 z)))
34.0ms
(/ t (- 1.0 z))
49.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify49.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0387632
11452595
25001593

prune240.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ t (- 1.0 z))
0.0b
(- (/ y z) (* 1 (/ t (- 1.0 z))))
2.5b
(* x (- (/ y z) (* 1 (/ t (- 1.0 z)))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt *-un-lft-identity
15×add-cube-cbrt times-frac
7×add-exp-log add-cbrt-cube
6×distribute-lft-out--
5×pow1 associate-*r/ associate-/r* add-log-exp
4×associate-*r* difference-of-squares
3×sub-neg flip3-- associate-*l* flip-- associate-/l*
2×distribute-rgt-in distribute-lft-in associate-/r/ frac-sub
1×cbrt-undiv frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 77
Calls
3 calls:
8.0ms
(/ t (- 1.0 z))
10.0ms
(- (/ y z) (* 1 (/ t (- 1.0 z))))
27.0ms
(* x (- (/ y z) (* 1 (/ t (- 1.0 z)))))

series119.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(/ t (- 1.0 z))
37.0ms
(- (/ y z) (* 1 (/ t (- 1.0 z))))
47.0ms
(* x (- (/ y z) (* 1 (/ t (- 1.0 z)))))

simplify49.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0365578
11482522
25002515

prune222.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ y z) (* 1 (* t (/ 1 (- 1.0 z)))))
0.0b
(/ 1 (- 1.0 z))
0.2b
(* t (/ 1 (- 1.0 z)))
2.5b
(* x (- (/ y z) (* 1 (* t (/ 1 (- 1.0 z))))))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
43×*-un-lft-identity
32×times-frac
26×add-cube-cbrt
25×associate-*r*
19×add-exp-log
13×add-cbrt-cube
11×associate-*r/
9×pow1 distribute-lft-out--
7×difference-of-squares
6×associate-*l* add-log-exp
5×prod-exp associate-/r*
4×flip3-- div-exp associate-/r/ frac-sub flip-- unswap-sqr
3×sub-neg un-div-inv cbrt-unprod associate-/l*
2×cbrt-undiv distribute-rgt-in rec-exp distribute-lft-in 1-exp pow-prod-down *-commutative div-inv
1×pow-flip frac-2neg diff-log clear-num inv-pow
Counts
4 → 127
Calls
4 calls:
11.0ms
(- (/ y z) (* 1 (* t (/ 1 (- 1.0 z)))))
6.0ms
(/ 1 (- 1.0 z))
17.0ms
(* t (/ 1 (- 1.0 z)))
33.0ms
(* x (- (/ y z) (* 1 (* t (/ 1 (- 1.0 z))))))

series147.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- (/ y z) (* 1 (* t (/ 1 (- 1.0 z)))))
24.0ms
(/ 1 (- 1.0 z))
34.0ms
(* t (/ 1 (- 1.0 z)))
50.0ms
(* x (- (/ y z) (* 1 (* t (/ 1 (- 1.0 z))))))

simplify66.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
0517876
12231711
25001706

prune298.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z)))))
5.7b
(cbrt (- (/ y z) (/ t (- 1.0 z))))
5.7b
(cbrt (- (/ y z) (/ t (- 1.0 z))))
5.7b
(cbrt (- (/ y z) (/ t (- 1.0 z))))

rewrite279.0ms

Algorithm
rewrite-expression-head
Rules
116×*-un-lft-identity
107×add-sqr-sqrt
82×cbrt-prod
64×times-frac
36×distribute-lft-out--
33×cbrt-div
28×difference-of-squares
17×swap-sqr
15×add-cube-cbrt
13×associate-*r* associate-*l*
11×pow1 flip3-- frac-sub flip--
9×frac-times pow1/3
6×add-exp-log
4×add-cbrt-cube add-log-exp unswap-sqr
3×associate-*r/ associate-*l/
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 143
Calls
4 calls:
198.0ms
(* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z)))))
26.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
23.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
23.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

series583.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z)))))
139.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
142.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
138.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

simplify96.0ms

Algorithm
egg-herbie
Counts
155 → 155
Iterations

Useful iterations: 3 (77.0ms)

IterNodesCost
03762101
110902020
238431867
350011852

prune451.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes214.0ms

Accuracy

36.2% (3.0b remaining)

Error of 3.0b against oracle of 0.1b and baseline of 4.7b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03219
13619
23619

end0.0ms

sample547.0ms

Algorithm
intervals
Results
298.0ms10175×body80valid