Details

sample86.0ms

Algorithm

intervals

Results

17.0ms	115×	body	160	valid
11.0ms	141×	body	80	valid

simplify3.1s

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.6b

localize34.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)))) (+ -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))))))))
12.6b	(- 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))))))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 111

Calls

4 calls:

20.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
79.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
15.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))))))))
14.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:

63.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
204.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
432.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.3s

Counts

123 → 123

Iterations

Useful iterations: done (2.3s)

Iter	Nodes	Cost
0	243	5288
1	783	4643
2	3196	3881
done	5001	3876

prune1.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 12.6b

localize48.0ms

Local error

Found 4 expressions with local error:

0.4b	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
0.4b	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
0.4b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))))))))
12.6b	(- 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 (* (* (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 62

Calls

4 calls:

19.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
12.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
8.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))))))))
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 (* (* (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))))))))) (exp (- (* (fabs x) (fabs x))))))

series2.7s

Counts

4 → 12

Calls

4 calls:

385.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
420.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
627.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))))))))
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 (* (* (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify1.2s

Counts

74 → 74

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	149	6313
1	395	5888
2	1508	3351
done	5000	3180

prune965.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.6b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

4 → 40

Calls

4 calls:

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

series2.5s

Counts

4 → 12

Calls

4 calls:

419.0ms	(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (+ (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)) 1.421413741) -0.284496736) 0.254829592)
373.0ms	(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (+ (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)) 1.421413741) -0.284496736) 0.254829592)
386.0ms	(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (+ (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)) 1.421413741) -0.284496736) 0.254829592)
1.4s	(fma (/ (- (* 1.0 (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (+ (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)) 1.421413741) -0.284496736) 0.254829592))) (fma 0.3275911 (fabs x) 1.0)) (* (pow (exp (fabs x)) (* 2 (- (fabs x)))) (/ 1.0 (/ (fma 0.3275911 (fabs x) 1.0) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (+ (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)) 1.421413741) -0.284496736) 0.254829592)))) (* 1.0 1.0))

simplify856.0ms

Counts

52 → 52

Iterations

Useful iterations: done (849.0ms)

Iter	Nodes	Cost
0	134	3890
1	339	3711
2	1075	3223
done	5001	3194

prune654.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.6b

localize68.0ms

Local error

Found 4 expressions with local error:

0.4b	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
0.4b	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
0.4b	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
12.6b	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (fma -0.284496736 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u`
3×	`cbrt-prod` `cbrt-div` `fma-neg` `pow1/3` `prod-diff` `associate-*l/`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 56

Calls

4 calls:

13.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
12.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
7.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
7.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (fma -0.284496736 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (exp (- (* (fabs x) (fabs x))))))

series2.4s

Counts

4 → 12

Calls

4 calls:

413.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
422.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
379.0ms	(cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))
1.2s	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (fma -0.284496736 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))) (cbrt (* (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma 1.061405429 (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) -1.453152027)))))) (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (exp (- (* (fabs x) (fabs x))))))

simplify1.2s

Counts

68 → 68

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	117	5043
1	291	4747
2	1044	3013
done	5000	2691

prune483.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.6b

regimes363.0ms

Accuracy

0% (0.0b remaining)

Error of 0.8b against oracle of 0.7b and baseline of 0.8b

bsearch0.0ms

simplify24.0ms

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	34	161
1	47	161
2	54	160
3	55	160
done	55	160

end0.0ms

sample2.4s

Algorithm

intervals

Results

1.7s	3941×	body	160	valid
460.0ms	4059×	body	80	valid