Details

sample42.0ms

Algorithm

intervals

Results

14.0ms	129×	body	160	valid
7.0ms	127×	body	80	valid

simplify97.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (29.0ms)

Iter	Nodes	Cost
0	82	36
1	310	36
2	1054	31
3	4855	30
4	5001	30

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.2b

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.1b	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.5b	(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
14.1b	(fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/r` `associate-/l`
4×	`pow1` `expm1-log1p-u` `associate-/r/` `log1p-expm1-u` `add-log-exp`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `fma-udef` `div-inv`

Counts

4 → 82

Calls

4 calls:

4.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
4.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.0ms	(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
0.0ms	(fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

series635.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
30.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
218.0ms	(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
357.0ms	(fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

simplify50.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	335	1396
1	1357	1221
2	5001	1163

prune455.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 14.2b

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (- 1.0) (fma (fabs x) 0.3275911 1.0))
0.5b	(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
14.1b	(fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)
14.1b	(log (exp (fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

30×	`times-frac`
29×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
10×	`associate-/l*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
4×	`expm1-log1p-u` `neg-mul-1` `log-prod` `log-pow` `log1p-expm1-u` `add-log-exp`
3×	`exp-prod` `associate-/r*` `fma-udef`
1×	`cbrt-undiv` `neg-sub0` `frac-2neg` `div-sub` `distribute-frac-neg` `div-exp` `rem-log-exp` `exp-sum` `clear-num` `div-inv`

Counts

4 → 97

Calls

4 calls:

4.0ms	(/ (- 1.0) (fma (fabs x) 0.3275911 1.0))
0.0ms	(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
0.0ms	(fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)
1.0ms	(log (exp (fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)))

series943.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ (- 1.0) (fma (fabs x) 0.3275911 1.0))
212.0ms	(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
354.0ms	(fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)
353.0ms	(log (exp (fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)))

simplify56.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	418	2259
1	1492	2000
2	5001	1921

prune539.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 14.2b

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (- 1.0) (fma (fabs x) 0.3275911 1.0))
0.5b	(/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))
0.6b	(/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))
14.1b	(fma (/ (- (fma 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2)) 0.254829592) (- (fma 0.284496736 (/ 1 (fma 0.3275911 (fabs x) 1.0)) (/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))) (/ (* 1 1.061405429) (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

66×	`times-frac`
50×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
33×	`add-exp-log`
23×	`associate-/r*`
18×	`unpow-prod-down`
16×	`div-exp`
14×	`associate-/l*`
13×	`add-cbrt-cube`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
6×	`pow-to-exp` `1-exp` `cube-prod` `pow-exp` `prod-exp` `sqr-pow`
4×	`pow1` `cbrt-undiv` `expm1-log1p-u` `neg-mul-1` `log1p-expm1-u` `unpow2` `add-log-exp`
3×	`rec-exp` `frac-2neg` `clear-num` `div-inv`
2×	`cube-mult` `unpow3`
1×	`neg-sub0` `pow-flip` `div-sub` `distribute-frac-neg` `cbrt-unprod` `fma-udef` `inv-pow`

Counts

4 → 176

Calls

4 calls:

4.0ms	(/ (- 1.0) (fma (fabs x) 0.3275911 1.0))
5.0ms	(/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))
11.0ms	(/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))
0.0ms	(fma (/ (- (fma 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2)) 0.254829592) (- (fma 0.284496736 (/ 1 (fma 0.3275911 (fabs x) 1.0)) (/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))) (/ (* 1 1.061405429) (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

series575.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ (- 1.0) (fma (fabs x) 0.3275911 1.0))
69.0ms	(/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))
47.0ms	(/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))
436.0ms	(fma (/ (- (fma 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1.0) 2)) 0.254829592) (- (fma 0.284496736 (/ 1 (fma 0.3275911 (fabs x) 1.0)) (/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))) (/ (* 1 1.061405429) (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

simplify99.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	674	1887
1	3626	1553
2	5002	1542

prune881.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 14.1b

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))
0.6b	(/ 1 (pow (fma 0.3275911 (fabs x) 1.0) 2))
1.3b	(log (exp (/ 1 (pow (fma 0.3275911 (fabs x) 1.0) 2))))
14.1b	(fma (/ (- (fma 1.421413741 (log (exp (/ 1 (pow (fma 0.3275911 (fabs x) 1.0) 2)))) 0.254829592) (- (fma 0.284496736 (/ 1 (fma 0.3275911 (fabs x) 1.0)) (/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))) (/ (* 1 1.061405429) (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

60×	`times-frac`
43×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
31×	`add-exp-log`
29×	`log-pow`
28×	`exp-prod`
27×	`unpow-prod-down`
20×	`associate-/r*`
15×	`div-exp`
11×	`add-cbrt-cube`
9×	`sqr-pow`
7×	`unpow2`
6×	`pow-to-exp` `1-exp` `cube-prod` `pow-exp` `prod-exp`
5×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `associate-/l*` `add-log-exp`
3×	`cbrt-undiv` `rec-exp` `log-prod` `div-inv`
2×	`cube-mult` `frac-2neg` `unpow3` `clear-num`
1×	`pow-flip` `rem-log-exp` `cbrt-unprod` `fma-udef` `inv-pow`

Counts

4 → 159

Calls

4 calls:

5.0ms	(/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))
4.0ms	(/ 1 (pow (fma 0.3275911 (fabs x) 1.0) 2))
10.0ms	(log (exp (/ 1 (pow (fma 0.3275911 (fabs x) 1.0) 2))))
0.0ms	(fma (/ (- (fma 1.421413741 (log (exp (/ 1 (pow (fma 0.3275911 (fabs x) 1.0) 2)))) 0.254829592) (- (fma 0.284496736 (/ 1 (fma 0.3275911 (fabs x) 1.0)) (/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))) (/ (* 1 1.061405429) (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

series606.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))
47.0ms	(/ 1 (pow (fma 0.3275911 (fabs x) 1.0) 2))
51.0ms	(log (exp (/ 1 (pow (fma 0.3275911 (fabs x) 1.0) 2))))
439.0ms	(fma (/ (- (fma 1.421413741 (log (exp (/ 1 (pow (fma 0.3275911 (fabs x) 1.0) 2)))) 0.254829592) (- (fma 0.284496736 (/ 1 (fma 0.3275911 (fabs x) 1.0)) (/ (* 1 1.453152027) (pow (fma 0.3275911 (fabs x) 1.0) 3))) (/ (* 1 1.061405429) (pow (fma 0.3275911 (fabs x) 1.0) 4)))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

simplify85.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 2 (68.0ms)

Iter	Nodes	Cost
0	579	1605
1	2826	1310
2	5002	1289

prune744.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 14.1b

regimes79.0ms

Accuracy

0% (0.0b remaining)

Error of 13.8b against oracle of 13.7b and baseline of 13.8b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	33
1	53	33
2	60	33
3	60	33

end0.0ms

sample770.0ms

Algorithm

intervals

Results

428.0ms	3899×	body	160	valid
236.0ms	4101×	body	80	valid