Details

sample133.0ms

Algorithm

intervals

Results

56.0ms	107×	body	160	valid
27.0ms	149×	body	80	valid

simplify3.2s

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

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.7b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ 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)))))))
0.2b	(* (/ 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)))))))))
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))))))))
11.7b	(- 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))))))

rewrite127.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 122

Calls

4 calls:

54.0ms	(* (/ 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)))))))
50.0ms	(* (/ 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)))))))))
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 (+ 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 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series2.7s

Counts

4 → 12

Calls

4 calls:

439.0ms	(* (/ 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)))))))
586.0ms	(* (/ 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)))))))))
429.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.2s	(- 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))))))

simplify2.8s

Counts

134 → 134

Iterations

Useful iterations: 2 (1.0s)

Iter	Nodes	Cost
0	260	9368
1	950	8211
2	4253	6815
done	5000	6815

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 11.7b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite175.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-sqr-sqrt`
57×	`associate-l`
56×	`times-frac`
43×	`add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
30×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
10×	`prod-exp` `cbrt-unprod`
8×	`pow1` `cbrt-undiv` `div-exp` `add-log-exp`
7×	`unswap-sqr`
5×	`flip3-+` `flip-+`
4×	`expm1-log1p-u` `associate-/r/` `log1p-expm1-u`
3×	`frac-times` `fma-def` `fma-neg` `associate-*r/` `prod-diff` `div-inv`
2×	`sqrt-div` `pow-prod-down` `associate-l/` `-commutative`
1×	`+-commutative` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `diff-log` `sum-log` `flip--`

Counts

4 → 161

Calls

4 calls:

43.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ (sqrt 1.0) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (sqrt 1.0)) (sqrt (fma 0.3275911 (fabs x) 1.0))))))
103.0ms	(* (/ (sqrt 1.0) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (sqrt 1.0)) (sqrt (fma 0.3275911 (fabs x) 1.0))))
8.0ms	(+ 0.254829592 (* (/ (sqrt 1.0) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (sqrt 1.0)) (sqrt (fma 0.3275911 (fabs x) 1.0)))))
12.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ (sqrt 1.0) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (sqrt 1.0)) (sqrt (fma 0.3275911 (fabs x) 1.0)))))) (exp (- (* (fabs x) (fabs x))))))

series3.2s

Counts

4 → 12

Calls

4 calls:

914.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ (sqrt 1.0) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (sqrt 1.0)) (sqrt (fma 0.3275911 (fabs x) 1.0))))))
556.0ms	(* (/ (sqrt 1.0) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (sqrt 1.0)) (sqrt (fma 0.3275911 (fabs x) 1.0))))
585.0ms	(+ 0.254829592 (* (/ (sqrt 1.0) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (sqrt 1.0)) (sqrt (fma 0.3275911 (fabs x) 1.0)))))
1.2s	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ (sqrt 1.0) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))) (/ (* (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (sqrt 1.0)) (sqrt (fma 0.3275911 (fabs x) 1.0)))))) (exp (- (* (fabs x) (fabs x))))))

simplify2.8s

Counts

173 → 173

Iterations

Useful iterations: done (2.8s)

Iter	Nodes	Cost
0	333	12812
1	1018	11863
2	4285	9051
done	5000	8971

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 11.7b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

96×	`prod-diff`
54×	`add-sqr-sqrt`
46×	`*-un-lft-identity`
44×	`add-cube-cbrt`
42×	`unpow-prod-down` `cube-prod`
28×	`sqr-pow`
22×	`cube-mult` `unpow3`
17×	`add-cbrt-cube`
15×	`add-exp-log`
12×	`fma-neg`
8×	`difference-of-squares`
7×	`pow1`
6×	`add-log-exp`
5×	`pow-exp` `rem-cube-cbrt`
4×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `prod-exp` `cbrt-unprod` `log1p-expm1-u`
3×	`cube-div` `pow-unpow`
2×	`pow-pow` `fma-udef`
1×	`difference-cubes` `frac-times` `pow-to-exp` `sub-neg` `flip3--` `diff-log` `associate-r/` `pow-prod-down` `associate-l/` `flip--` `distribute-lft-out--`

Counts

4 → 185

Calls

4 calls:

0.0ms	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
0.0ms	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
38.0ms	(pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3)
39.0ms	(- (pow 1.0 3) (pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3))

series2.4s

Counts

4 → 12

Calls

4 calls:

344.0ms	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
343.0ms	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
764.0ms	(pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3)
991.0ms	(- (pow 1.0 3) (pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3))

simplify2.8s

Counts

197 → 197

Iterations

Useful iterations: 2 (1.1s)

Iter	Nodes	Cost
0	376	39160
1	984	22760
2	3684	16968
done	5000	16968

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 11.0b

localize104.0ms

Local error

Found 4 expressions with local error:

0.4b	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
0.4b	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
0.7b	(pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3)
11.2b	(- (pow 1.0 3) (log1p (expm1 (pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3))))

rewrite107.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt` `prod-diff`
31×	`*-un-lft-identity`
29×	`add-cube-cbrt`
17×	`add-cbrt-cube`
15×	`add-exp-log`
14×	`unpow-prod-down` `cube-prod`
12×	`fma-neg`
7×	`pow1` `add-log-exp`
6×	`sqr-pow`
5×	`cube-mult` `unpow3` `pow-exp` `rem-cube-cbrt`
4×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `difference-of-squares`
3×	`cube-div` `pow-unpow`
2×	`pow-pow` `diff-log` `fma-udef`
1×	`frac-times` `pow-to-exp` `sub-neg` `log1p-udef` `flip3--` `associate-r/` `pow-prod-down` `associate-l/` `flip--` `distribute-lft-out--`

Counts

4 → 121

Calls

4 calls:

0.0ms	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
0.0ms	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
45.0ms	(pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3)
57.0ms	(- (pow 1.0 3) (log1p (expm1 (pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3))))

series2.9s

Counts

4 → 12

Calls

4 calls:

347.0ms	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
377.0ms	(fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592)
750.0ms	(pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3)
1.4s	(- (pow 1.0 3) (log1p (expm1 (pow (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (/ (fma (fma (fma (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.421413741) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -0.284496736) (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (exp (pow (fabs x) 2)))) 3))))

simplify2.7s

Counts

133 → 133

Iterations

Useful iterations: 2 (848.0ms)

Iter	Nodes	Cost
0	322	19282
1	856	12178
2	3296	9689
done	5001	9689

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 11.0b

regimes107.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	167
1	32	167
done	32	167

end0.0ms

sample2.4s

Algorithm

intervals

Results

1.8s	3865×	body	160	valid
502.0ms	4135×	body	80	valid