Details

Time bar (total: 28.9s)

sample92.0ms

Algorithm
intervals
Results
31.0ms119×body160valid
18.0ms137×body80valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done5000
31203
2313
182
026

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.1b

localize95.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)))) (+ -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.0b
(- 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))))))

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
30×associate-*l*
23×*-un-lft-identity add-cube-cbrt
20×times-frac
14×add-cbrt-cube add-exp-log
8×pow1 add-log-exp
7×flip3-+ flip-+
6×associate-*r*
4×expm1-log1p-u frac-times prod-exp associate-*r/ 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 sum-log sub-neg flip3-- diff-log flip--
Counts
4 → 122
Calls
4 calls:
57.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)))))))
59.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
11.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))))))

series2.4s

Counts
4 → 12
Calls
4 calls:
435.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)))))))
176.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
486.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))))))

simplify579.0ms

Counts
134 → 134
Iterations
IterNodes
done5000
11064
0278

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.0b

localize137.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (fma (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (- -0.284496736)) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0))
0.4b
(+ 0.254829592 (/ (* 1.0 (+ (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) 3) (pow -0.284496736 3))) (* (fma (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (- -0.284496736)) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0))))
0.5b
(+ (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) 3) (pow -0.284496736 3))
13.0b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (/ (* 1.0 (+ (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) 3) (pow -0.284496736 3))) (* (fma (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (- -0.284496736)) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0))))) (exp (- (* (fabs x) (fabs x))))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
12×add-sqr-sqrt
11×fma-def
10×add-cube-cbrt add-log-exp
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u log1p-expm1-u
3×fma-neg associate-*r* associate-*l* prod-diff
2×+-commutative sum-log flip3-+ flip-+ fma-udef distribute-lft-out
1×distribute-rgt-in cube-mult sub-neg unpow-prod-down distribute-lft-in flip3-- diff-log unpow3 cube-prod pow-prod-down prod-exp sum-cubes *-commutative cbrt-unprod flip-- unswap-sqr sqr-pow
Counts
4 → 82
Calls
4 calls:
10.0ms
(* (fma (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (- -0.284496736)) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0))
22.0ms
(+ 0.254829592 (/ (* 1.0 (+ (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) 3) (pow -0.284496736 3))) (* (fma (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (- -0.284496736)) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0))))
25.0ms
(+ (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) 3) (pow -0.284496736 3))
5.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (/ (* 1.0 (+ (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) 3) (pow -0.284496736 3))) (* (fma (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (- -0.284496736)) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0))))) (exp (- (* (fabs x) (fabs x))))))

series6.7s

Counts
4 → 12
Calls
4 calls:
607.0ms
(* (fma (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (- -0.284496736)) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0))
2.4s
(+ 0.254829592 (/ (* 1.0 (+ (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) 3) (pow -0.284496736 3))) (* (fma (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (- -0.284496736)) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0))))
416.0ms
(+ (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) 3) (pow -0.284496736 3))
3.2s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (/ (* 1.0 (+ (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) 3) (pow -0.284496736 3))) (* (fma (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (- -0.284496736)) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0))))) (exp (- (* (fabs x) (fabs x))))))

simplify1.9s

Counts
94 → 94
Iterations
IterNodes
done5000
24232
1828
0289

prune1.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.0b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
8×log-prod
6×add-cbrt-cube prod-diff add-exp-log add-log-exp
5×pow1 exp-sum
4×expm1-log1p-u log-pow log1p-expm1-u
3×exp-prod associate-/r* fma-neg associate-/l*
2×sub-neg
1×cbrt-undiv log-div clear-num frac-2neg flip3-- exp-diff diff-log div-exp rem-log-exp fma-udef div-inv flip--
Counts
4 → 82
Calls
4 calls:
11.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) -0.284496736) 0.254829592)
7.0ms
(- 1.0 (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) -0.284496736) 0.254829592) (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (- (pow (fabs x) 2))))))
18.0ms
(log (exp (- 1.0 (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) -0.284496736) 0.254829592) (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (- (pow (fabs x) 2))))))))

series1.8s

Counts
4 → 12
Calls
4 calls:
31.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
352.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) -0.284496736) 0.254829592)
707.0ms
(- 1.0 (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) -0.284496736) 0.254829592) (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (- (pow (fabs x) 2))))))
708.0ms
(log (exp (- 1.0 (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) -0.284496736) 0.254829592) (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (- (pow (fabs x) 2))))))))

simplify1.2s

Counts
94 → 94
Iterations
IterNodes
done5000
21704
1396
0183

prune999.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 13.0b

localize93.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
22×log-prod
16×add-sqr-sqrt *-un-lft-identity add-cube-cbrt sqrt-prod
12×prod-diff log-pow
10×exp-sum
8×pow1 sqrt-pow1 add-log-exp
6×exp-prod fma-neg add-exp-log
4×expm1-log1p-u sub-neg add-cbrt-cube log1p-expm1-u
2×log-div flip3-- pow1/2 exp-diff sqrt-div diff-log rem-log-exp flip--
Counts
4 → 96
Calls
4 calls:
9.0ms
(- 1.0 (* (fma (fma (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 0.254829592) (/ (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (pow (fabs x) 2)))))
8.0ms
(- 1.0 (* (fma (fma (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 0.254829592) (/ (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (pow (fabs x) 2)))))
17.0ms
(log (sqrt (exp (- 1.0 (* (fma (fma (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 0.254829592) (/ (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (pow (fabs x) 2))))))))
18.0ms
(log (sqrt (exp (- 1.0 (* (fma (fma (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 0.254829592) (/ (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (pow (fabs x) 2))))))))

series3.5s

Counts
4 → 12
Calls
4 calls:
549.0ms
(- 1.0 (* (fma (fma (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 0.254829592) (/ (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (pow (fabs x) 2)))))
578.0ms
(- 1.0 (* (fma (fma (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 0.254829592) (/ (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (pow (fabs x) 2)))))
1.1s
(log (sqrt (exp (- 1.0 (* (fma (fma (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 0.254829592) (/ (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (pow (fabs x) 2))))))))
1.3s
(log (sqrt (exp (- 1.0 (* (fma (fma (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 0.254829592) (/ (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (exp (pow (fabs x) 2))))))))

simplify883.0ms

Counts
108 → 108
Iterations
IterNodes
done5000
21421
1349
0161

prune1.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 9.1b

regimes269.0ms

Accuracy

0% (0.0b remaining)

Error of 9.7b against oracle of 9.7b and baseline of 9.7b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done34
234
133
028

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.7s3921×body160valid
581.0ms4079×body80valid