Details

Time bar (total: 5.2s)

sample25.0ms

Algorithm
intervals
Results
11.0ms264×body80valid

simplify12.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0268
1398
2518
3618
4658
5658

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.5b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
4.2b
(/ (* y b) t)
4.8b
(/ (* y z) t)
11.0b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
59×*-un-lft-identity
26×times-frac
22×distribute-lft-out
20×add-sqr-sqrt add-cube-cbrt
16×add-exp-log add-cbrt-cube
11×associate-/r*
6×associate-/l* add-log-exp
5×cbrt-undiv div-exp
4×pow1 expm1-log1p-u flip3-+ associate-/r/ flip-+ log1p-expm1-u
3×fma-def frac-2neg clear-num div-inv
2×frac-add prod-exp cbrt-unprod associate-/l/
1×+-commutative sum-log
Counts
4 → 112
Calls
4 calls:
4.0ms
(+ x (/ (* y z) t))
3.0ms
(/ (* y b) t)
3.0ms
(/ (* y z) t)
37.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series163.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ x (/ (* y z) t))
19.0ms
(/ (* y b) t)
18.0ms
(/ (* y z) t)
99.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify60.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0472881
12005817
25001797

prune357.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 9.7b

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
3.3b
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.2b
(/ (* y b) t)
11.0b
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
52×*-un-lft-identity
48×add-sqr-sqrt
46×times-frac
32×add-exp-log add-cube-cbrt
25×add-cbrt-cube
22×associate-*r*
14×cbrt-prod
12×distribute-lft-out
10×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
8×associate-/r*
7×associate-*l*
6×pow1 unswap-sqr
4×expm1-log1p-u associate-/r/ log1p-expm1-u div-inv associate-/l* add-log-exp
3×flip3-+ flip-+
2×frac-2neg frac-add clear-num associate-/l/
1×frac-times pow1/3 associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 140
Calls
4 calls:
0.0ms
(cbrt t)
23.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
3.0ms
(/ (* y b) t)
30.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

series522.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(cbrt t)
46.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
24.0ms
(/ (* y b) t)
270.0ms
(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify100.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 2 (79.0ms)

IterNodesCost
07511615
137681397
250021319

prune536.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 9.1b

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
3.3b
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.2b
(/ (* y b) t)
10.7b
(* (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
48×*-un-lft-identity times-frac
45×associate-*r*
39×add-exp-log
32×add-cube-cbrt
28×add-cbrt-cube
14×cbrt-prod
13×prod-exp
11×div-exp cbrt-unprod
10×cbrt-undiv associate-*l*
9×distribute-lft-out unswap-sqr
8×pow1
4×expm1-log1p-u flip3-+ associate-/r/ flip-+ log1p-expm1-u div-inv add-log-exp
3×frac-times associate-*l/ associate-/r*
2×associate-*r/ pow-prod-down frac-add *-commutative
1×rec-exp frac-2neg pow1/3 1-exp clear-num un-div-inv associate-/l*
Counts
4 → 149
Calls
4 calls:
0.0ms
(cbrt t)
22.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
3.0ms
(/ (* y b) t)
54.0ms
(* (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

series513.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(cbrt t)
45.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
24.0ms
(/ (* y b) t)
270.0ms
(* (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

simplify106.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 2 (86.0ms)

IterNodesCost
08821648
146481388
250011365

prune585.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 9.1b

localize13.0ms

Local error

Found 3 expressions with local error:

2.7b
(fma (/ y t) z x)
4.2b
(/ (* y b) t)
11.0b
(/ (* 1 (fma (/ y t) z x)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
15×add-exp-log
13×add-cbrt-cube
8×times-frac associate-/r*
7×add-sqr-sqrt add-cube-cbrt
6×distribute-lft-out
5×div-exp
4×cbrt-undiv associate-/r/
3×pow1 expm1-log1p-u prod-exp log1p-expm1-u add-log-exp
2×frac-2neg flip3-+ frac-add clear-num cbrt-unprod flip-+ div-inv associate-/l*
1×1-exp fma-udef
Counts
3 → 65
Calls
3 calls:
0.0ms
(fma (/ y t) z x)
3.0ms
(/ (* y b) t)
22.0ms
(/ (* 1 (fma (/ y t) z x)) (+ (+ a 1.0) (/ (* y b) t)))

series464.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(fma (/ y t) z x)
19.0ms
(/ (* y b) t)
404.0ms
(/ (* 1 (fma (/ y t) z x)) (+ (+ a 1.0) (/ (* y b) t)))

simplify43.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0364469
11509405
25001402

prune185.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 9.1b

regimes565.0ms

Accuracy

21% (4.6b remaining)

Error of 14.8b against oracle of 10.2b and baseline of 16.0b

bsearch71.0ms

Steps
ItersRangePoint
2
3.637345716065874e-118
4.182736572545639e-118
4.07353916489319e-118
9
-4.551080417930454e+80
-1.8888617060696537e+71
-1.922517040190812e+71

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03924
14124
24124

end0.0ms

sample630.0ms

Algorithm
intervals
Results
353.0ms8319×body80valid