Details

Time bar (total: 12.0s)

sample50.0ms

Algorithm
intervals
Results
22.0ms130×body160valid
7.0ms126×body80valid

simplify94.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (27.0ms)

IterNodesCost
08236
131036
2105431
3485530
4500130

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.3b

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.1b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.5b
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
14.2b
(fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
8×add-exp-log add-cbrt-cube
6×associate-/r* associate-/l*
4×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
2×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ fma-udef div-inv
Counts
4 → 82
Calls
4 calls:
4.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
5.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
1.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
1.0ms
(fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

series652.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
30.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
218.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
370.0ms
(fma (/ (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

simplify44.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
03351396
113571221
250011163

prune470.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 14.2b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- 1.0) (fma (fabs x) 0.3275911 1.0))
0.5b
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
0.5b
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
14.2b
(fma (/ (* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
30×times-frac
27×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×distribute-lft-neg-in distribute-rgt-neg-in
10×associate-/l*
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u neg-mul-1 log1p-expm1-u add-log-exp
3×associate-/r* fma-udef
1×cbrt-undiv neg-sub0 frac-2neg div-sub distribute-frac-neg div-exp clear-num div-inv
Counts
4 → 89
Calls
4 calls:
5.0ms
(/ (- 1.0) (fma (fabs x) 0.3275911 1.0))
1.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
1.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
1.0ms
(fma (/ (* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

series834.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(/ (- 1.0) (fma (fabs x) 0.3275911 1.0))
224.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
218.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
366.0ms
(fma (/ (* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

simplify51.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
03872007
114661723
250021669

prune550.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 14.2b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
11×sqrt-prod
10×pow1
8×add-exp-log add-cube-cbrt *-un-lft-identity
7×associate-*r*
6×associate-*l* add-cbrt-cube
4×expm1-log1p-u rem-log-exp prod-exp log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down
2×sqrt-pow1 pow1/2 log-pow fma-udef
1×pow-to-exp log-prod sqrt-unprod pow-exp *-commutative cbrt-unprod
Counts
4 → 68
Calls
4 calls:
1.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
10.0ms
(* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592)))))
7.0ms
(log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592)))
1.0ms
(fma (/ (* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592))))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

series2.8s

Counts
4 → 12
Calls
4 calls:
227.0ms
(fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
934.0ms
(* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592)))))
543.0ms
(log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592)))
1.1s
(fma (/ (* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592))))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

simplify139.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 3 (111.0ms)

IterNodesCost
03023469
110622792
246662497
350012482

prune531.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 14.2b

localize47.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592)))))
0.5b
(log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592)))
1.3b
(exp (log (fma (/ (* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592))))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)))
14.2b
(fma (/ (* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592))))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
11×pow1 sqrt-prod
10×add-cube-cbrt *-un-lft-identity
8×add-exp-log
7×associate-*r*
6×associate-*l* add-cbrt-cube
4×expm1-log1p-u log-prod exp-prod rem-log-exp prod-exp log1p-expm1-u add-log-exp unswap-sqr
3×exp-sum pow-prod-down log-pow
2×sqrt-pow1 pow1/2
1×pow-to-exp sqrt-unprod pow-exp *-commutative cbrt-unprod fma-udef rem-exp-log
Counts
4 → 75
Calls
4 calls:
15.0ms
(* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592)))))
7.0ms
(log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592)))
2.0ms
(exp (log (fma (/ (* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592))))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)))
1.0ms
(fma (/ (* (sqrt (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (fma (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)) (sqrt (log (* (pow (exp (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736)) (exp 0.254829592))))) (exp (* (fabs x) (fabs x)))) (/ (- 1.0) (fma (fabs x) 0.3275911 1.0)) 1.0)

series3.9s

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

simplify153.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
03224469
110693745
247073247
350013247

prune564.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 14.2b

regimes148.0ms

Accuracy

0% (0.0b remaining)

Error of 14.0b against oracle of 14.0b and baseline of 14.0b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
045168
145168

end0.0ms

sample808.0ms

Algorithm
intervals
Results
463.0ms3970×body160valid
232.0ms4030×body80valid