Details

Time bar (total: 18.5s)

sample43.0ms

Algorithm
intervals
Results
14.0ms122×body160valid
8.0ms134×body80valid

simplify96.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (28.0ms)

IterNodesCost
08236
131036
2105431
3485530
4500130

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.5b

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
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))))))))
13.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))))))

rewrite28.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:
4.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
16.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)))))))))
2.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))))))))
2.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.6s

Counts
4 → 12
Calls
4 calls:
29.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
399.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)))))))))
309.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))))))))
849.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))))))

simplify118.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
07143886
138373261
250013222

prune790.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 13.4b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
45×pow1
21×add-exp-log add-cbrt-cube
20×add-sqr-sqrt
19×associate-*l*
18×pow-prod-down
15×add-cube-cbrt *-un-lft-identity
13×times-frac
10×prod-exp cbrt-unprod
6×add-log-exp
4×expm1-log1p-u associate-*r* pow-sqr pow-prod-up log1p-expm1-u
3×fma-neg prod-diff fma-udef difference-of-squares
2×flip3-- pow-plus associate-/r/ *-commutative flip-- unswap-sqr
1×cbrt-undiv pow2 distribute-rgt-in sub-neg distribute-lft-in diff-log swap-sqr div-exp associate-*l/ div-inv
Counts
4 → 107
Calls
4 calls:
10.0ms
(* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))
0.0ms
(fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))
2.0ms
(- 1.0 (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))))
16.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))
325.0ms
(fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))
689.0ms
(- 1.0 (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))))
486.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))

simplify121.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 2 (80.0ms)

IterNodesCost
08024479
136213832
250013784

prune666.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 13.4b

localize65.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3)
12.8b
(- (pow 1.0 3) (pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3))
14.1b
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))
14.4b
(/ (* (* (- 1.0 (* 0.3275911 (fabs x))) (+ (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) 0.254829592)) 1.0) (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x)))))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
96×prod-diff
68×add-sqr-sqrt
55×*-un-lft-identity
53×add-cube-cbrt
42×unpow-prod-down cube-prod
40×add-cbrt-cube
37×add-exp-log
28×sqr-pow
22×cube-mult unpow3
18×associate-*l*
16×prod-exp cbrt-unprod
15×associate-*l/
14×times-frac
12×pow1 fma-neg
11×difference-of-squares
8×cbrt-undiv div-exp associate-/l/
6×cube-div frac-times flip3-- associate-*r/ flip-- add-log-exp
4×expm1-log1p-u pow-prod-down pow-exp associate-/r/ log1p-expm1-u rem-cube-cbrt
3×exp-neg pow-unpow pow-pow flip3-+ associate-*r* flip-+
2×neg-sub0 exp-diff fma-udef div-inv unswap-sqr
1×difference-cubes distribute-rgt-in pow-to-exp sub-neg frac-2neg distribute-lft-in diff-log clear-num associate-/r* un-div-inv *-commutative associate-/l* distribute-lft-out--
Counts
4 → 245
Calls
4 calls:
24.0ms
(pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3)
16.0ms
(- (pow 1.0 3) (pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3))
16.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))
27.0ms
(/ (* (* (- 1.0 (* 0.3275911 (fabs x))) (+ (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) 0.254829592)) 1.0) (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x)))))

series3.5s

Counts
4 → 12
Calls
4 calls:
861.0ms
(pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3)
1.9s
(- (pow 1.0 3) (pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3))
491.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))
302.0ms
(/ (* (* (- 1.0 (* 0.3275911 (fabs x))) (+ (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) 0.254829592)) 1.0) (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x)))))

simplify308.0ms

Algorithm
egg-herbie
Counts
257 → 257
Iterations

Useful iterations: 1 (53.0ms)

IterNodesCost
0283423116
1500222096

prune2.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 12.6b

localize70.0ms

Local error

Found 4 expressions with local error:

12.8b
(- (pow 1.0 3) (* (sqrt (pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3)) (sqrt (pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3))))
14.1b
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))
14.1b
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))
14.4b
(/ (* (* (- 1.0 (* 0.3275911 (fabs x))) (+ (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) 0.254829592)) 1.0) (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x)))))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×associate-*l*
35×add-exp-log add-cbrt-cube
28×add-cube-cbrt *-un-lft-identity
27×times-frac
13×prod-exp cbrt-unprod
12×fma-neg prod-diff associate-*l/
10×difference-of-squares
8×pow1 cbrt-undiv div-exp associate-/l/
7×unpow-prod-down flip3-- cube-prod flip--
6×associate-*r* associate-/r/ add-log-exp
4×expm1-log1p-u frac-times associate-*r/ fma-udef log1p-expm1-u unswap-sqr
3×flip3-+ flip-+ div-inv sqr-pow
2×distribute-rgt-in cube-mult distribute-lft-in unpow3 pow-prod-down *-commutative
1×sub-neg frac-2neg diff-log clear-num associate-/r* associate-/l*
Counts
4 → 161
Calls
4 calls:
14.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3)) (sqrt (pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3))))
19.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))
16.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))
22.0ms
(/ (* (* (- 1.0 (* 0.3275911 (fabs x))) (+ (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) 0.254829592)) 1.0) (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x)))))

series3.2s

Counts
4 → 12
Calls
4 calls:
1.9s
(- (pow 1.0 3) (* (sqrt (pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3)) (sqrt (pow (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x)))))) (exp (- (* (fabs x) (fabs x))))) 3))))
501.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))
495.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (fma (- 1.0 (* 0.3275911 (fabs x))) (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) (* 0.254829592 (- 1.0 (* 0.3275911 (fabs x))))))
307.0ms
(/ (* (* (- 1.0 (* 0.3275911 (fabs x))) (+ (fma (/ 1.0 (/ (pow (fma 0.3275911 (fabs x) 1.0) 2) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ (* -0.284496736 1.0) (fma 0.3275911 (fabs x) 1.0))) 0.254829592)) 1.0) (* (fma 0.3275911 (fabs x) 1.0) (- 1.0 (* 0.3275911 (fabs x)))))

simplify179.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 1 (50.0ms)

IterNodesCost
0244714731
1500212214

prune2.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 12.4b

regimes312.0ms

Accuracy

0% (0.1b remaining)

Error of 12.7b against oracle of 12.6b and baseline of 12.7b

bsearch0.0ms

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
080255
184255
284255

end0.0ms

sample817.0ms

Algorithm
intervals
Results
457.0ms3842×body160valid
248.0ms4158×body80valid