Details

sample53.0ms

Algorithm

intervals

Results

15.0ms	124×	body	160	valid
15.0ms	132×	body	80	valid

simplify96.0ms

Counts

1 → 1

Iterations

Useful iterations: 3 (28.0ms)

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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.6b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.2b	(/ 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)
13.5b	(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)

rewrite24.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:

9.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
9.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)

series655.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
29.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
219.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)
373.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)

simplify44.0ms

Counts

94 → 94

Iterations

Useful iterations: 2 (32.0ms)

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

prune480.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 13.5b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
13.5b	(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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
21.5b	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

32×	`cbrt-prod`
27×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `div-inv` `associate-/l`
2×	`fma-udef`
1×	`cbrt-undiv` `cube-div` `cube-mult` `cbrt-div` `frac-2neg` `pow1/3` `unpow3` `div-exp` `clear-num` `rem-cbrt-cube` `sqr-pow`

Counts

4 → 93

Calls

4 calls:

5.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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
6.0ms	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))

series635.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ 1.0 (fma (fabs x) 0.3275911 1.0))
213.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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
365.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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
31.0ms	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))

simplify62.0ms

Counts

105 → 105

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	495	1443
1	2203	1294
2	5001	1282
done	5001	1282

prune462.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.5b

localize30.0ms

Local error

Found 4 expressions with local error:

13.5b	(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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
13.5b	(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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
21.5b	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))
21.5b	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

64×	`cbrt-prod`
36×	`times-frac`
34×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
26×	`unpow-prod-down` `cube-prod`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`cube-div` `cube-mult` `cbrt-div` `pow1/3` `unpow3` `rem-cbrt-cube` `fma-udef` `sqr-pow`

Counts

4 → 108

Calls

4 calls:

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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
6.0ms	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))
11.0ms	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))

series783.0ms

Counts

4 → 12

Calls

4 calls:

367.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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
365.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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
25.0ms	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))
25.0ms	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))

simplify64.0ms

Counts

120 → 120

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	423	1828
1	1882	1654
2	5001	1644
done	5001	1644

prune837.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.9b

localize64.0ms

Local error

Found 4 expressions with local error:

0.8b	(- (fma 0.284496736 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 1.0) (* (/ 1.421413741 (pow (fma (fabs x) 0.3275911 1.0) 3)) (/ 1 (exp (pow (fabs x) 2)))))
13.5b	(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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
13.6b	(+ (- (- (fma 0.284496736 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 1.0) (* (/ 1.421413741 (pow (fma (fabs x) 0.3275911 1.0) 3)) (/ 1 (exp (pow (fabs x) 2))))) (fma (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1.0) 5))) 1.061405429 (* (/ (/ 1 (exp (pow (fabs x) 2))) (fma 0.3275911 (fabs x) 1.0)) 0.254829592))) (/ (/ 1.453152027 (pow (fma 0.3275911 (fabs x) 1.0) 4)) (exp (pow (fabs x) 2))))
21.5b	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))

rewrite165.0ms

Algorithm

rewrite-expression-head

Rules

36×	`*-un-lft-identity`
32×	`cbrt-prod`
31×	`add-sqr-sqrt`
29×	`add-cube-cbrt`
18×	`times-frac`
17×	`associate-+l+`
15×	`prod-diff` `add-log-exp`
13×	`unpow-prod-down` `cube-prod`
8×	`associate--l+`
5×	`fma-def`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `diff-log` `add-cbrt-cube` `log1p-expm1-u`
3×	`sub-neg` `fma-neg` `sum-log` `fma-udef`
2×	`flip3--` `frac-add` `flip--` `div-inv` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `cube-div` `cube-mult` `associate-+l-` `cbrt-div` `flip3-+` `pow1/3` `unpow3` `rem-cbrt-cube` `flip-+` `difference-of-squares` `sqr-pow`

Counts

4 → 117

Calls

4 calls:

6.0ms	(- (fma 0.284496736 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 1.0) (* (/ 1.421413741 (pow (fma (fabs x) 0.3275911 1.0) 3)) (/ 1 (exp (pow (fabs x) 2)))))
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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
146.0ms	(+ (- (- (fma 0.284496736 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 1.0) (* (/ 1.421413741 (pow (fma (fabs x) 0.3275911 1.0) 3)) (/ 1 (exp (pow (fabs x) 2))))) (fma (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1.0) 5))) 1.061405429 (* (/ (/ 1 (exp (pow (fabs x) 2))) (fma 0.3275911 (fabs x) 1.0)) 0.254829592))) (/ (/ 1.453152027 (pow (fma 0.3275911 (fabs x) 1.0) 4)) (exp (pow (fabs x) 2))))
8.0ms	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))

series1.4s

Counts

4 → 12

Calls

4 calls:

305.0ms	(- (fma 0.284496736 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 1.0) (* (/ 1.421413741 (pow (fma (fabs x) 0.3275911 1.0) 3)) (/ 1 (exp (pow (fabs x) 2)))))
363.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 (cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3)) 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)
732.0ms	(+ (- (- (fma 0.284496736 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) 1.0) (* (/ 1.421413741 (pow (fma (fabs x) 0.3275911 1.0) 3)) (/ 1 (exp (pow (fabs x) 2))))) (fma (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1.0) 5))) 1.061405429 (* (/ (/ 1 (exp (pow (fabs x) 2))) (fma 0.3275911 (fabs x) 1.0)) 0.254829592))) (/ (/ 1.453152027 (pow (fma 0.3275911 (fabs x) 1.0) 4)) (exp (pow (fabs x) 2))))
29.0ms	(cbrt (pow (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 3))

simplify107.0ms

Counts

129 → 129

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	742	4451
1	3365	3794
2	5001	3722
done	5001	3722

prune1.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.6b

regimes198.0ms

Accuracy

0% (0.0b remaining)

Error of 1.9b against oracle of 1.9b and baseline of 1.9b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	84
1	72	84
done	72	84

end0.0ms

sample834.0ms

Algorithm

intervals

Results

441.0ms	3892×	body	160	valid
243.0ms	4108×	body	80	valid