Details

Time bar (total: 4.2s)

sample30.0ms

Algorithm
intervals
Results
10.0ms265×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: 16.3b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
4.5b
(/ (* y z) t)
6.2b
(/ (* y b) t)
11.6b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite99.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:
10.0ms
(+ x (/ (* y z) t))
9.0ms
(/ (* y z) t)
9.0ms
(/ (* y b) t)
67.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series148.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(+ x (/ (* y z) t))
16.0ms
(/ (* y z) t)
18.0ms
(/ (* y b) t)
90.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify59.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0472881
12005817
25001797

prune344.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 12.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* (* y z) (/ 1 t)))
4.5b
(* (* y z) (/ 1 t))
6.2b
(/ (* y b) t)
11.6b
(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
33×add-exp-log
27×times-frac
24×add-sqr-sqrt add-cube-cbrt
23×add-cbrt-cube
13×associate-*r* prod-exp
12×distribute-lft-out
9×pow1
8×associate-/r*
7×div-exp cbrt-unprod
6×add-log-exp
5×cbrt-undiv
4×expm1-log1p-u flip3-+ associate-/r/ flip-+ log1p-expm1-u associate-/l*
3×fma-def pow-prod-down div-inv
2×rec-exp frac-2neg 1-exp frac-add clear-num associate-/l/
1×+-commutative associate-*r/ associate-*l* sum-log un-div-inv *-commutative
Counts
4 → 122
Calls
4 calls:
12.0ms
(+ x (* (* y z) (/ 1 t)))
27.0ms
(* (* y z) (/ 1 t))
9.0ms
(/ (* y b) t)
60.0ms
(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

series152.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ x (* (* y z) (/ 1 t)))
16.0ms
(* (* y z) (/ 1 t))
17.0ms
(/ (* y b) t)
92.0ms
(/ (+ x (* (* y z) (/ 1 t))) (+ (+ a 1.0) (/ (* y b) t)))

simplify70.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
0611987
12882874
25001836

prune356.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 11.4b

localize16.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ 1 (/ t (* y z)))
4.5b
(/ t (* y z))
6.2b
(/ (* y b) t)
11.6b
(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
84×*-un-lft-identity
64×times-frac
37×add-exp-log
36×add-sqr-sqrt add-cube-cbrt
30×distribute-lft-out
25×add-cbrt-cube
17×div-exp
16×associate-/r*
14×div-inv
12×associate-/l*
10×cbrt-undiv
5×pow1 prod-exp associate-/r/
4×expm1-log1p-u frac-2neg clear-num log1p-expm1-u add-log-exp
3×rec-exp flip3-+ 1-exp cbrt-unprod flip-+
2×frac-add associate-/l/
1×pow-flip inv-pow
Counts
4 → 159
Calls
4 calls:
16.0ms
(/ 1 (/ t (* y z)))
7.0ms
(/ t (* y z))
9.0ms
(/ (* y b) t)
93.0ms
(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

series168.0ms

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

simplify75.0ms

Algorithm
egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
06001269
127531130
250011067

prune379.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 11.4b

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
4.5b
(* (* y z) (/ 1 t))
6.2b
(/ (* y b) t)
11.5b
(* (+ x (* (* y z) (/ 1 t))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
69×*-un-lft-identity
44×add-exp-log times-frac
40×add-sqr-sqrt
36×associate-*r*
33×add-cube-cbrt
28×add-cbrt-cube
21×distribute-lft-out
17×prod-exp
12×pow1
10×div-exp
9×cbrt-unprod
8×associate-/r* associate-/r/
6×cbrt-undiv flip3-+ flip-+
4×expm1-log1p-u rec-exp 1-exp associate-*l* pow-prod-down frac-add log1p-expm1-u div-inv associate-/l* add-log-exp
3×unswap-sqr
2×frac-times frac-2neg associate-*r/ associate-*l/ clear-num un-div-inv *-commutative
1×pow-flip inv-pow
Counts
4 → 160
Calls
4 calls:
40.0ms
(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
25.0ms
(* (* y z) (/ 1 t))
9.0ms
(/ (* y b) t)
98.0ms
(* (+ x (* (* y z) (/ 1 t))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

series175.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
16.0ms
(* (* y z) (/ 1 t))
20.0ms
(/ (* y b) t)
91.0ms
(* (+ x (* (* y z) (/ 1 t))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

simplify86.0ms

Algorithm
egg-herbie
Counts
172 → 172
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
07211268
137121095
250021010

prune384.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 10.5b

regimes409.0ms

Accuracy

26.4% (4.1b remaining)

Error of 14.5b against oracle of 10.4b and baseline of 16.0b

bsearch34.0ms

Steps
ItersRangePoint
5
1.879409519860102e-32
4.4826688357782506e-32
3.834895060413278e-32

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03316
13316

end0.0ms

sample706.0ms

Algorithm
intervals
Results
331.0ms8290×body80valid