Details

Time bar (total: 6.2s)

sample37.0ms

Algorithm
intervals
Results
23.0ms266×body80valid

simplify10.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: 17.8b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
5.6b
(/ (* y b) t)
7.0b
(/ (* y z) t)
12.8b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite46.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)
33.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series165.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(+ x (/ (* y z) t))
23.0ms
(/ (* y b) t)
18.0ms
(/ (* y z) t)
97.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify55.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0472881
12005817
25001797

prune341.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 12.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ y (/ t z)))
4.6b
(/ y (/ t z))
5.6b
(/ (* y b) t)
12.8b
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite96.0ms

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

series312.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ x (/ y (/ t z)))
22.0ms
(/ y (/ t z))
20.0ms
(/ (* y b) t)
237.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

simplify73.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
06781246
127811149
250021138

prune499.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 11.3b

localize20.0ms

Local error

Found 4 expressions with local error:

1.8b
(/ y (/ (cbrt t) z))
4.6b
(* (/ 1 (* (cbrt t) (cbrt t))) (/ y (/ (cbrt t) z)))
5.6b
(/ (* y b) t)
12.8b
(/ (+ x (* (/ 1 (* (cbrt t) (cbrt t))) (/ y (/ (cbrt t) z)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
302×times-frac
190×add-sqr-sqrt
179×*-un-lft-identity
155×add-cube-cbrt
94×add-exp-log
71×associate-*r*
66×cbrt-prod
42×add-cbrt-cube
39×div-exp
31×prod-exp
30×associate-/r*
21×cbrt-undiv
13×cbrt-unprod
12×div-inv distribute-lft-out unswap-sqr
7×associate-*l* associate-/l*
6×pow1 rec-exp 1-exp associate-/r/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg flip3-+ clear-num flip-+
2×frac-add associate-/l/
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 308
Calls
4 calls:
6.0ms
(/ y (/ (cbrt t) z))
53.0ms
(* (/ 1 (* (cbrt t) (cbrt t))) (/ y (/ (cbrt t) z)))
3.0ms
(/ (* y b) t)
26.0ms
(/ (+ x (* (/ 1 (* (cbrt t) (cbrt t))) (/ y (/ (cbrt t) z)))) (+ (+ a 1.0) (/ (* y b) t)))

series333.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(/ y (/ (cbrt t) z))
48.0ms
(* (/ 1 (* (cbrt t) (cbrt t))) (/ y (/ (cbrt t) z)))
19.0ms
(/ (* y b) t)
157.0ms
(/ (+ x (* (/ 1 (* (cbrt t) (cbrt t))) (/ y (/ (cbrt t) z)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify57.0ms

Algorithm
egg-herbie
Counts
320 → 320
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
014613480
150013157

prune1.2s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 10.3b

localize12.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
4.6b
(/ y (/ t z))
5.6b
(/ (* y b) t)
12.7b
(* (+ x (/ y (/ t z))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
110×times-frac
106×*-un-lft-identity
75×add-sqr-sqrt
68×add-cube-cbrt
27×add-exp-log
23×associate-*r*
22×distribute-lft-out
21×associate-/r* add-cbrt-cube
9×div-exp associate-/r/
8×div-inv
7×pow1 cbrt-undiv associate-/l*
6×flip3-+ flip-+
5×prod-exp
4×expm1-log1p-u associate-*l* frac-add log1p-expm1-u add-log-exp
3×frac-2neg clear-num cbrt-unprod unswap-sqr
2×frac-times rec-exp 1-exp associate-*l/
1×pow-flip associate-*r/ pow-prod-down un-div-inv *-commutative inv-pow
Counts
4 → 193
Calls
4 calls:
21.0ms
(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
4.0ms
(/ y (/ t z))
3.0ms
(/ (* y b) t)
145.0ms
(* (+ x (/ y (/ t z))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

series331.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
23.0ms
(/ y (/ t z))
19.0ms
(/ (* y b) t)
237.0ms
(* (+ x (/ y (/ t z))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

simplify83.0ms

Algorithm
egg-herbie
Counts
205 → 205
Iterations

Useful iterations: 2 (68.0ms)

IterNodesCost
07981496
136481332
250011274

prune550.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 10.3b

regimes498.0ms

Accuracy

47.8% (3.1b remaining)

Error of 13.4b against oracle of 10.3b and baseline of 16.2b

bsearch154.0ms

Steps
ItersRangePoint
9
9.537405739811181e-135
1.3516666644313083e-129
8.05933494175478e-133
10
-2.9395789114391234e-30
-4.9797640354575685e-42
-1.0015772152917578e-36

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04522
14522

end0.0ms

sample1.0s

Algorithm
intervals
Results
747.0ms8240×body80valid