Details

sample29.0ms

Algorithm

intervals

Results

13.0ms

268×

body

valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	47	8
3	49	8
4	49	8

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.1b

localize12.0ms

Local error

Found 3 expressions with local error:

5.1b	(/ (* y z) t)
6.2b	(/ (* y b) t)
9.5b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

55×	`*-un-lft-identity`
26×	`times-frac`
21×	`distribute-lft-out`
18×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
6×	`associate-/l*`
5×	`cbrt-undiv` `div-exp`
4×	`associate-/r/`
3×	`pow1` `frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv` `add-log-exp`
2×	`frac-add` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

3 → 89

Calls

3 calls:

3.0ms	(/ (* y z) t)
3.0ms	(/ (* y b) t)
35.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series123.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(/ (* y z) t)
18.0ms	(/ (* y b) t)
89.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify47.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	432	769
1	1895	710
2	5001	710

prune269.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 9.0b

localize15.0ms

Local error

Found 3 expressions with local error:

5.0b	(/ y (/ t b))
5.1b	(/ (* y z) t)
9.5b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

98×	`times-frac`
95×	`*-un-lft-identity`
58×	`add-sqr-sqrt` `add-cube-cbrt`
21×	`associate-/r*` `distribute-lft-out`
15×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
7×	`div-inv`
6×	`cbrt-undiv` `div-exp`
5×	`associate-/r/`
3×	`pow1` `frac-2neg` `flip3-+` `clear-num` `flip-+` `add-log-exp`
2×	`frac-add` `associate-/l/`
1×	`prod-exp` `cbrt-unprod`

Counts

3 → 138

Calls

3 calls:

7.0ms	(/ y (/ t b))
3.0ms	(/ (* y z) t)
56.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

series130.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(/ y (/ t b))
17.0ms	(/ (* y z) t)
92.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

simplify73.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	649	1136
1	2804	1072
2	5002	1071

prune403.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.0b

localize12.0ms

Local error

Found 3 expressions with local error:

5.1b	(* (/ y t) b)
5.1b	(/ (* y z) t)
9.5b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y t) b)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

30×	`*-un-lft-identity`
27×	`add-sqr-sqrt`
25×	`times-frac`
22×	`add-cube-cbrt`
15×	`add-exp-log` `add-cbrt-cube`
13×	`associate-l`
6×	`associate-/r*`
5×	`pow1` `associate-/l*`
4×	`cbrt-undiv` `div-exp` `associate-/r/` `distribute-lft-out`
3×	`flip3-+` `associate-r` `associate-*l/` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `add-log-exp`
2×	`frac-2neg` `frac-add` `clear-num` `associate-/l/` `unswap-sqr`
1×	`pow-prod-down` `*-commutative`

Counts

3 → 90

Calls

3 calls:

7.0ms	(* (/ y t) b)
3.0ms	(/ (* y z) t)
30.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y t) b)))

series140.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(* (/ y t) b)
17.0ms	(/ (* y z) t)
104.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y t) b)))

simplify65.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	481	712
1	2033	653
2	5002	653

prune265.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.0b

localize13.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ 1 (/ t (* y z)))
5.1b	(/ t (* y z))
5.1b	(* (/ y t) b)
9.5b	(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (* (/ y t) b)))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

61×	`times-frac`
52×	`*-un-lft-identity`
45×	`add-sqr-sqrt`
40×	`add-cube-cbrt`
37×	`add-exp-log`
25×	`add-cbrt-cube`
16×	`div-exp`
13×	`associate-l`
12×	`div-inv`
11×	`associate-/r` `associate-/l`
9×	`cbrt-undiv`
8×	`distribute-lft-out`
7×	`pow1`
6×	`prod-exp`
5×	`associate-/r/`
4×	`cbrt-unprod` `add-log-exp`
3×	`rec-exp` `frac-2neg` `flip3-+` `1-exp` `associate-r` `associate-*l/` `clear-num` `flip-+`
2×	`frac-add` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `pow-prod-down` `*-commutative` `inv-pow`

Counts

4 → 150

Calls

4 calls:

6.0ms	(/ 1 (/ t (* y z)))
3.0ms	(/ t (* y z))
7.0ms	(* (/ y t) b)
49.0ms	(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (* (/ y t) b)))

series174.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(/ 1 (/ t (* y z)))
17.0ms	(/ t (* y z))
23.0ms	(* (/ y t) b)
115.0ms	(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (* (/ y t) b)))

simplify68.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	630	1138
1	2761	1024
2	5002	981

prune343.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.0b

regimes316.0ms

Accuracy

13.6% (4.0b remaining)

Error of 13.8b against oracle of 9.8b and baseline of 14.5b

bsearch112.0ms

Steps

Iters	Range		Point
10	2.8983107723431833e-272	2.0610677314218609e-262	1.128808106701665e-262
8	-5.637588675691525e-116	-4.8522999327182484e-119	-4.400524087413221e-116

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	17
1	43	17

end0.0ms

sample646.0ms

Algorithm

intervals

Results

366.0ms

8316×

body

valid