Details

sample106.0ms

Algorithm

intervals

Results

35.0ms	113×	body	160	valid
21.0ms	143×	body	80	valid

simplify3.4s

Counts

1 → 1

Iterations

Useful iterations: 3 (242.0ms)

Iter	Nodes	Cost
0	26	64
1	82	64
2	309	55
3	991	54
4	4172	54
done	5000	54

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.5b

localize32.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.4b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
12.4b	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`associate-/r` `associate-/l`
4×	`pow1` `expm1-log1p-u` `associate-/r/` `log1p-expm1-u`
3×	`fma-def` `flip3-+` `fma-neg` `prod-diff` `flip-+`
2×	`cbrt-undiv` `associate-+r+` `frac-2neg` `div-exp` `clear-num` `div-inv`
1×	`+-commutative` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `diff-log` `sum-log` `flip--`

Counts

4 → 100

Calls

4 calls:

9.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
10.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
21.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
9.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series1.9s

Counts

4 → 12

Calls

4 calls:

60.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
57.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
467.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.3s	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify1.3s

Counts

112 → 112

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	177	4483
1	475	3915
2	1816	3324
done	5000	3294

prune902.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 12.4b

localize75.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x)))))
0.4b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
12.4b	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
16.9b	(* (/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x))))

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-exp-log` `add-cbrt-cube`
16×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
9×	`associate-l` `prod-diff`
8×	`add-log-exp`
6×	`pow1` `distribute-rgt-in` `distribute-lft-in` `times-frac` `associate-*r/`
5×	`flip3--` `prod-exp` `flip--` `cbrt-unprod`
4×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `associate-/r/` `log1p-expm1-u`
3×	`sub-neg` `fma-def` `fma-neg` `associate-r` `associate-/l*`
2×	`frac-times` `associate-+r+` `div-inv`
1×	`+-commutative` `frac-2neg` `flip3-+` `diff-log` `pow-prod-down` `associate-l/` `clear-num` `associate-/r` `sum-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

4 → 108

Calls

4 calls:

11.0ms	(/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x)))))
7.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
7.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
84.0ms	(* (/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x))))

series1.9s

Counts

4 → 12

Calls

4 calls:

103.0ms	(/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x)))))
483.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.3s	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
34.0ms	(* (/ 1.0 (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x))))

simplify2.0s

Counts

120 → 120

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	249	6237
1	690	5756
2	3198	4859
done	5000	4847

prune906.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 12.4b

localize52.0ms

Local error

Found 4 expressions with local error:

0.4b	(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
12.4b	(- 1.0 (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (* (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (- (pow (fabs x) 2))))))
12.5b	(log (exp (- 1.0 (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (* (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (- (pow (fabs x) 2))))))))
16.9b	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
58×	`add-sqr-sqrt`
49×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
13×	`add-exp-log` `add-cbrt-cube`
12×	`prod-diff`
8×	`log-prod`
7×	`pow1`
6×	`flip3--` `associate-/r/` `flip--` `add-log-exp`
5×	`distribute-rgt-in` `distribute-lft-in` `exp-sum`
4×	`expm1-log1p-u` `sub-neg` `log-pow` `log1p-expm1-u` `div-inv`
3×	`cbrt-undiv` `exp-prod` `fma-neg` `div-exp` `associate-r` `prod-exp` `cbrt-unprod` `unswap-sqr`
2×	`frac-times` `associate-*r/`
1×	`log-div` `exp-diff` `diff-log` `rem-log-exp` `pow-prod-down` `associate-l/` `-commutative` `fma-udef`

Counts

4 → 140

Calls

4 calls:

1.0ms	(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
13.0ms	(- 1.0 (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (* (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (- (pow (fabs x) 2))))))
12.0ms	(log (exp (- 1.0 (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (* (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (- (pow (fabs x) 2))))))))
77.0ms	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))

series1.7s

Counts

4 → 12

Calls

4 calls:

298.0ms	(fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
642.0ms	(- 1.0 (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (* (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (- (pow (fabs x) 2))))))
679.0ms	(log (exp (- 1.0 (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (* (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (- (pow (fabs x) 2))))))))
60.0ms	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))

simplify2.7s

Counts

152 → 152

Iterations

Useful iterations: done (2.7s)

Iter	Nodes	Cost
0	329	8601
1	813	8327
2	2901	6110
done	5000	5416

prune1.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 12.4b

localize115.0ms

Local error

Found 4 expressions with local error:

11.9b	(- (pow 1.0 3) (pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (* (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (- (pow (fabs x) 2))))) 3))
16.9b	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))
16.9b	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))
16.9b	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))

rewrite309.0ms

Algorithm

rewrite-expression-head

Rules

225×	`times-frac`
200×	`add-sqr-sqrt`
165×	`*-un-lft-identity`
163×	`add-cube-cbrt`
147×	`associate-l`
114×	`prod-diff`
41×	`unpow-prod-down` `cube-prod`
31×	`add-exp-log` `add-cbrt-cube`
27×	`sqr-pow`
21×	`cube-mult` `unpow3`
18×	`associate-/r/`
16×	`flip3--` `flip--`
15×	`distribute-rgt-in` `distribute-lft-in`
12×	`fma-neg` `div-inv`
10×	`pow1`
9×	`cbrt-undiv` `div-exp` `associate-r` `prod-exp` `cbrt-unprod` `unswap-sqr`
8×	`difference-of-squares`
7×	`sub-neg`
6×	`frac-times` `associate-*r/` `add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`pow-prod-down` `associate-l/` `-commutative`
1×	`difference-cubes` `diff-log` `distribute-lft-out--`

Counts

4 → 393

Calls

4 calls:

32.0ms	(- (pow 1.0 3) (pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (* (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (- (pow (fabs x) 2))))) 3))
73.0ms	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))
93.0ms	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))
74.0ms	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))

series1.5s

Counts

4 → 12

Calls

4 calls:

1.4s	(- (pow 1.0 3) (pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (* (fma (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x)))) -1.453152027) 1.421413741) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (- (pow (fabs x) 2))))) 3))
64.0ms	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))
57.0ms	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))
48.0ms	(* (/ (/ 1.0 (- 1.0 (* 0.3275911 (fabs x)))) (fma 0.3275911 (fabs x) 1.0)) (- 1.0 (* 0.3275911 (fabs x))))

simplify3.1s

Counts

405 → 405

Iterations

Useful iterations: 2 (1.2s)

Iter	Nodes	Cost
0	471	52851
1	1237	32050
2	4649	20434
done	5000	20434

prune5.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 11.7b

regimes113.0ms

Accuracy

0% (0.0b remaining)

Error of 12.9b against oracle of 12.9b and baseline of 12.9b

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	48	261
1	59	257
done	59	257

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.2s	3870×	body	160	valid
1.2s	4130×	body	80	valid