Details

Time bar (total: 10.0m)

sample110.0ms

Algorithm
intervals
Results
37.0ms119×body160valid
21.0ms137×body80valid

simplify719.0ms

Counts
1 → 1
Iterations
IterNodes
done5002
31118
2295
182
026

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.1b

localize94.0ms

Local error

Found 4 expressions with local error:

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

rewrite493.0ms

Algorithm
rewrite-expression-head
Rules
103×times-frac
94×add-sqr-sqrt
58×*-un-lft-identity
54×add-cube-cbrt
15×associate-*r*
14×add-cbrt-cube add-exp-log
13×associate-/r*
10×difference-of-squares
8×add-log-exp
6×pow1 div-inv
5×flip3-+ flip-+
4×cbrt-undiv div-exp associate-*l*
3×unpow-prod-down associate-/r/ associate-/l* sqr-pow
2×frac-times associate-+l+ associate-*l/ prod-exp cbrt-unprod unswap-sqr associate-/l/
1×distribute-rgt-in +-commutative clear-num sum-log sub-neg frac-2neg distribute-lft-in flip3-- diff-log pow-prod-down associate-*r/ *-commutative flip-- distribute-lft-out distribute-lft-out--
Counts
4 → 147
Calls
4 calls:
241.0ms
(* (+ (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.061405429)) -1.453152027) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))
48.0ms
(/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ -0.284496736 (* (+ (* (+ (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.061405429)) -1.453152027) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0))
14.0ms
(+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ -0.284496736 (* (+ (* (+ (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.061405429)) -1.453152027) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592)
177.0ms
(- 1.0 (/ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ -0.284496736 (* (+ (* (+ (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.061405429)) -1.453152027) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) (pow (exp (fabs x)) (fabs x))))

series3.1s

Counts
4 → 12
Calls
4 calls:
185.0ms
(* (+ (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.061405429)) -1.453152027) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))
616.0ms
(/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ -0.284496736 (* (+ (* (+ (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.061405429)) -1.453152027) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0))
487.0ms
(+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ -0.284496736 (* (+ (* (+ (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.061405429)) -1.453152027) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592)
1.8s
(- 1.0 (/ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ -0.284496736 (* (+ (* (+ (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.061405429)) -1.453152027) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) (pow (exp (fabs x)) (fabs x))))

simplify726.0ms

Counts
159 → 159
Iterations
IterNodes
done5000
11109
0390

prune1.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))
0.2b
(/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0))
0.2b
(/ (+ (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592)) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0))
13.0b
(- 1.0 (/ (/ (+ (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592)) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) (pow (exp (fabs x)) (fabs x))))

rewrite3.9s

Algorithm
rewrite-expression-head
Rules
105×times-frac
91×add-sqr-sqrt
58×*-un-lft-identity
56×add-cube-cbrt
19×associate-/r*
16×add-cbrt-cube add-exp-log
10×difference-of-squares
7×div-inv associate-/l*
6×cbrt-undiv div-exp add-log-exp associate-/l/
5×flip3-+ associate-/r/ flip-+
4×pow1
3×clear-num unpow-prod-down frac-2neg sqr-pow
2×associate-*l/ frac-add associate-*r/
1×sub-neg flip3-- diff-log prod-exp cbrt-unprod flip-- distribute-lft-out--
Counts
4 → 151
Calls
4 calls:
11.0ms
(/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))
19.0ms
(/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0))
2.0s
(/ (+ (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592)) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0))
1.9s
(- 1.0 (/ (/ (+ (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592)) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) (pow (exp (fabs x)) (fabs x))))

series2.6s

Counts
4 → 12
Calls
4 calls:
35.0ms
(/ 1.0 (+ (* (fabs x) 0.3275911) 1.0))
167.0ms
(/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0))
582.0ms
(/ (+ (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592)) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0))
1.8s
(- 1.0 (/ (/ (+ (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592)) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) (pow (exp (fabs x)) (fabs x))))

simplify702.0ms

Counts
163 → 163
Iterations
IterNodes
done5000
11155
0401

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.0b

localize172.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
50×associate-*r/
28×*-un-lft-identity
26×frac-times associate-/l/
24×add-sqr-sqrt flip3-+ frac-sub flip-+
17×associate-*l/
15×add-cbrt-cube add-exp-log
11×pow1 add-log-exp
10×add-cube-cbrt
7×times-frac difference-of-squares
6×swap-sqr distribute-lft-out
5×flip3-- associate-/r/ flip--
4×cbrt-undiv diff-log div-exp associate-*r* associate-*l* associate-/l*
3×sub-neg div-sub prod-exp cbrt-unprod
2×associate--l+ distribute-lft-out--
1×associate--l- pow2 distribute-rgt-in clear-num associate-/r* unpow-prod-down frac-2neg distribute-lft-in pow-plus pow-prod-down pow-sqr *-commutative pow-prod-up div-inv associate--r- unswap-sqr sqr-pow
Counts
4 → 133
Calls
4 calls:
395.0ms
(/ (- (* (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))) (* (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (* (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0) (- (- (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ (/ (* 1.0 (+ (/ (* 1.061405429 1.0) (+ 1.0 (* (fabs x) 0.3275911))) -1.453152027)) (+ 1.0 (* (fabs x) 0.3275911))) 1.421413741))))) 0.254829592)))
343.0ms
(- (- (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ (/ (* 1.0 (+ (/ (* 1.061405429 1.0) (+ 1.0 (* (fabs x) 0.3275911))) -1.453152027)) (+ 1.0 (* (fabs x) 0.3275911))) 1.421413741))))) 0.254829592)
1.6s
(* (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))
254.0ms
(- 1.0 (/ (/ (- (* (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))) (* (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (* (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0) (- (- (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ (/ (* 1.0 (+ (/ (* 1.061405429 1.0) (+ 1.0 (* (fabs x) 0.3275911))) -1.453152027)) (+ 1.0 (* (fabs x) 0.3275911))) 1.421413741))))) 0.254829592))) (pow (exp (fabs x)) (fabs x))))

series12.0s

Counts
4 → 12
Calls
4 calls:
2.0s
(/ (- (* (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))) (* (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (* (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0) (- (- (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ (/ (* 1.0 (+ (/ (* 1.061405429 1.0) (+ 1.0 (* (fabs x) 0.3275911))) -1.453152027)) (+ 1.0 (* (fabs x) 0.3275911))) 1.421413741))))) 0.254829592)))
470.0ms
(- (- (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ (/ (* 1.0 (+ (/ (* 1.061405429 1.0) (+ 1.0 (* (fabs x) 0.3275911))) -1.453152027)) (+ 1.0 (* (fabs x) 0.3275911))) 1.421413741))))) 0.254829592)
457.0ms
(* (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))
9.2s
(- 1.0 (/ (/ (- (* (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))) (* (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592) (+ (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (* (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0) (- (- (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (/ 1.0 (/ (+ 1.0 (* (fabs x) 0.3275911)) (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (+ (/ (* 1.0 (+ (/ (* 1.061405429 1.0) (+ 1.0 (* (fabs x) 0.3275911))) -1.453152027)) (+ 1.0 (* (fabs x) 0.3275911))) 1.421413741))))) 0.254829592))) (pow (exp (fabs x)) (fabs x))))

simplify749.0ms

Counts
145 → 145
Iterations
IterNodes
done5000
11303
0418

prune2.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 13.0b

localize344.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2m

Algorithm
rewrite-expression-head
Rules
78684×frac-times
44270×associate-*r/
26201×associate-*l/
19560×flip3-- flip--
16737×flip3-+ flip-+
16398×frac-add
15605×associate-/r/
1380×associate-/l/
1378×frac-sub
44×add-cbrt-cube add-exp-log
22×add-sqr-sqrt
21×prod-exp cbrt-unprod
12×*-un-lft-identity
10×cbrt-undiv div-exp
8×add-cube-cbrt add-log-exp
6×pow1 times-frac
5×associate-*r* difference-of-squares
4×sub-neg
3×div-sub associate-*l* associate-/l*
2×distribute-rgt-in distribute-lft-in diff-log distribute-lft-out--
1×clear-num associate-/r* unpow-prod-down frac-2neg distribute-rgt-out-- pow-prod-down *-commutative div-inv associate--r- unswap-sqr sqr-pow
Counts
4 → 17100
Calls
4 calls:
6.0ms
(- (* 0.254829592 0.254829592) (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))
3.3s
(* (+ (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (- (* 0.254829592 0.254829592) (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (- (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))
45.7s
(- 1.0 (/ (/ (- (* (* (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* -0.284496736 1.0)) (* (+ (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (- (* 0.254829592 0.254829592) (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (- (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (* (+ 1.0 (* (fabs x) 0.3275911)) (* (+ (pow (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 3) (pow 0.254829592 3)) (- (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (* 0.254829592 0.254829592))))) (* (* (* (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0) (- (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (- -0.284496736 (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592)) (* (- (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))) 0.254829592) (+ 1.0 (* (fabs x) 0.3275911)))) (+ (* 0.254829592 (- 0.254829592 (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))))) (* (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))))))) (pow (exp (fabs x)) (fabs x))))
18.3s
(/ (- (* (* (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* -0.284496736 1.0)) (* (+ (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (- (* 0.254829592 0.254829592) (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (- (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (* (+ 1.0 (* (fabs x) 0.3275911)) (* (+ (pow (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 3) (pow 0.254829592 3)) (- (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (* 0.254829592 0.254829592))))) (* (* (* (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0) (- (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (- -0.284496736 (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592)) (* (- (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))) 0.254829592) (+ 1.0 (* (fabs x) 0.3275911)))) (+ (* 0.254829592 (- 0.254829592 (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))))) (* (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))))))

series1.7m

Counts
4 → 12
Calls
4 calls:
271.0ms
(- (* 0.254829592 0.254829592) (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))
1.1s
(* (+ (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (- (* 0.254829592 0.254829592) (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (- (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))
1.5m
(- 1.0 (/ (/ (- (* (* (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* -0.284496736 1.0)) (* (+ (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (- (* 0.254829592 0.254829592) (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (- (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (* (+ 1.0 (* (fabs x) 0.3275911)) (* (+ (pow (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 3) (pow 0.254829592 3)) (- (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (* 0.254829592 0.254829592))))) (* (* (* (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0) (- (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (- -0.284496736 (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592)) (* (- (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))) 0.254829592) (+ 1.0 (* (fabs x) 0.3275911)))) (+ (* 0.254829592 (- 0.254829592 (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))))) (* (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))))))) (pow (exp (fabs x)) (fabs x))))
8.2s
(/ (- (* (* (* -0.284496736 (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* -0.284496736 1.0)) (* (+ (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (- (* 0.254829592 0.254829592) (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (- (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 0.254829592))) (* (+ 1.0 (* (fabs x) 0.3275911)) (* (+ (pow (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) 3) (pow 0.254829592 3)) (- (* (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0)) (/ (* 1.0 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) (+ (/ (* (+ -1.453152027 (* (/ 1.0 (+ (* (fabs x) 0.3275911) 1.0)) 1.061405429)) 1.0) (+ (* (fabs x) 0.3275911) 1.0)) 1.421413741))) (+ (* (fabs x) 0.3275911) 1.0))) (* 0.254829592 0.254829592))))) (* (* (* (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0) (- (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (- -0.284496736 (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))) 0.254829592)) (* (- (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))) 0.254829592) (+ 1.0 (* (fabs x) 0.3275911)))) (+ (* 0.254829592 (- 0.254829592 (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))))))) (* (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))) (* (+ (/ (+ (* (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911))) 1.061405429) -1.453152027) (/ (+ 1.0 (* (fabs x) 0.3275911)) 1.0)) 1.421413741) (/ 1.0 (+ 1.0 (* (fabs x) 0.3275911)))))))))

simplify1.7m

Counts
17112 → 17112
Iterations
IterNodes
done35627
035627

prune4.8m