Details

Time bar (total: 8.6s)

sample30.0ms

Algorithm
intervals
Results
13.0ms264×body80valid

simplify16.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0268
1398
2518
3618
4658
5658

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.2b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ (* y b) t))
4.5b
(/ (* y b) t)
5.1b
(/ (* y z) t)
12.2b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite129.0ms

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

series167.0ms

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

simplify64.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
0488947
12162873
25003850

prune654.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 11.5b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ (* y b) t))
3.5b
(* y (/ z t))
4.5b
(/ (* y b) t)
12.2b
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
52×*-un-lft-identity
30×add-sqr-sqrt
28×times-frac
25×add-cube-cbrt
16×add-exp-log add-cbrt-cube distribute-lft-out
13×associate-*r*
9×add-log-exp
8×associate-/r*
6×pow1
5×flip3-+ flip-+
4×cbrt-undiv expm1-log1p-u fma-def div-exp frac-add associate-/r/ log1p-expm1-u associate-/l*
3×associate-*l* prod-exp sum-log cbrt-unprod div-inv
2×frac-2neg clear-num associate-/l/ unswap-sqr
1×+-commutative associate-+l+ associate-*r/ pow-prod-down *-commutative
Counts
4 → 123
Calls
4 calls:
34.0ms
(+ (+ a 1.0) (/ (* y b) t))
16.0ms
(* y (/ z t))
10.0ms
(/ (* y b) t)
60.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ (* y b) t)))

series177.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(+ (+ a 1.0) (/ (* y b) t))
23.0ms
(* y (/ z t))
20.0ms
(/ (* y b) t)
103.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ (* y b) t)))

simplify76.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
0550927
12445839
25001821

prune689.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 10.5b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ a 1.0) (/ y (/ t b)))
3.5b
(* y (/ z t))
4.0b
(/ y (/ t b))
12.2b
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ y (/ t b))))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
100×times-frac
92×*-un-lft-identity
70×add-sqr-sqrt
65×add-cube-cbrt
18×associate-/r*
16×add-exp-log add-cbrt-cube distribute-lft-out
13×associate-*r*
9×add-log-exp
7×div-inv
6×pow1 associate-/l*
5×cbrt-undiv flip3-+ div-exp associate-/r/ flip-+
4×expm1-log1p-u fma-def frac-add log1p-expm1-u
3×associate-*l* sum-log
2×frac-2neg prod-exp clear-num cbrt-unprod associate-/l/ unswap-sqr
1×+-commutative associate-+l+ associate-*r/ pow-prod-down *-commutative
Counts
4 → 172
Calls
4 calls:
49.0ms
(+ (+ a 1.0) (/ y (/ t b)))
13.0ms
(* y (/ z t))
9.0ms
(/ y (/ t b))
93.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ y (/ t b))))

series171.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(+ (+ a 1.0) (/ y (/ t b)))
18.0ms
(* y (/ z t))
20.0ms
(/ y (/ t b))
101.0ms
(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ y (/ t b))))

simplify97.0ms

Algorithm
egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
07661296
133921182
250011166

prune1.0s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 9.4b

localize24.0ms

Local error

Found 4 expressions with local error:

4.3b
(/ (fma y (/ z t) x) (cbrt (+ (+ a 1.0) (/ y (/ t b)))))
10.3b
(cbrt (+ (+ a 1.0) (/ y (/ t b))))
10.3b
(cbrt (+ (+ a 1.0) (/ y (/ t b))))
10.3b
(cbrt (+ (+ a 1.0) (/ y (/ t b))))

rewrite181.0ms

Algorithm
rewrite-expression-head
Rules
59×*-un-lft-identity
35×cbrt-prod
24×add-sqr-sqrt add-cube-cbrt times-frac
21×distribute-lft-out
16×cbrt-div
8×flip3-+ frac-add associate-/r* flip-+
6×add-exp-log
5×add-cbrt-cube
4×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
3×pow1/3 associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 110
Calls
4 calls:
74.0ms
(/ (fma y (/ z t) x) (cbrt (+ (+ a 1.0) (/ y (/ t b)))))
34.0ms
(cbrt (+ (+ a 1.0) (/ y (/ t b))))
36.0ms
(cbrt (+ (+ a 1.0) (/ y (/ t b))))
33.0ms
(cbrt (+ (+ a 1.0) (/ y (/ t b))))

series1.7s

Counts
4 → 12
Calls
4 calls:
952.0ms
(/ (fma y (/ z t) x) (cbrt (+ (+ a 1.0) (/ y (/ t b)))))
424.0ms
(cbrt (+ (+ a 1.0) (/ y (/ t b))))
166.0ms
(cbrt (+ (+ a 1.0) (/ y (/ t b))))
163.0ms
(cbrt (+ (+ a 1.0) (/ y (/ t b))))

simplify66.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
04401507
113231442
250011423

prune1.5s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 9.4b

regimes636.0ms

Accuracy

49.6% (3.5b remaining)

Error of 12.7b against oracle of 9.1b and baseline of 16.1b

bsearch115.0ms

Steps
ItersRangePoint
4
4.693929513307525e-106
7.268096280162625e-106
6.544111876984628e-106
7
-1805753421095896.0
-46937230644809.76
-921171792856506.5

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04317
14317

end0.0ms

sample755.0ms

Algorithm
intervals
Results
431.0ms8275×body80valid