Details

Time bar (total: 21.5s)

sample54.0ms

Algorithm
intervals
Results
16.0ms124×body160valid
15.0ms132×body80valid

simplify96.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08236
129236
296836
3449936
4500236
done500236

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.9b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.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 add-log-exp
6×associate-/r* associate-/l*
4×pow1 associate-/r/
3×flip3-+ flip-+
2×cbrt-undiv associate-+r+ frac-2neg div-exp clear-num div-inv
1×+-commutative distribute-rgt-in sub-neg flip3-- distribute-lft-in diff-log sum-log flip--
Counts
4 → 83
Calls
4 calls:
10.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
10.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
7.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))))))))
6.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.2s

Counts
4 → 12
Calls
4 calls:
31.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
31.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
317.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))))))))
857.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))))))

simplify62.0ms

Counts
95 → 95
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
04391858
120311698
250011695
done50011695

prune426.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.8b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
18×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
8×add-log-exp
4×pow1 add-exp-log associate-/r/ add-cbrt-cube
3×flip3-+ flip-+
2×cbrt-div associate-+r+ pow1/3 div-inv
1×+-commutative distribute-rgt-in sub-neg flip3-- distribute-lft-in diff-log sum-log flip--
Counts
4 → 73
Calls
4 calls:
5.0ms
(cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))
5.0ms
(cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))
7.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
6.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series1.9s

Counts
4 → 12
Calls
4 calls:
180.0ms
(cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))
181.0ms
(cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))
449.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.0s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (/ 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))))))

simplify69.0ms

Counts
85 → 85
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
04462414
117722217
250012207
done50012207

prune463.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 13.8b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
66×cbrt-prod
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
8×add-log-exp
4×pow1 add-exp-log cbrt-div associate-/r/ add-cbrt-cube
3×flip3-+ flip-+
2×associate-+r+ pow1/3 div-inv
1×+-commutative distribute-rgt-in sub-neg flip3-- distribute-lft-in diff-log sum-log flip--
Counts
4 → 79
Calls
4 calls:
6.0ms
(cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
9.0ms
(cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
8.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
6.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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:
563.0ms
(cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
391.0ms
(cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
456.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.0s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))))

simplify71.0ms

Counts
91 → 91
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
04873128
118752867
250032851
done50032851

prune552.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.8b

localize55.0ms

Local error

Found 4 expressions with local error:

0.4b
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
0.5b
(* (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) 1.0))
0.8b
(pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) 3)
13.2b
(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) 3))

rewrite503.0ms

Algorithm
rewrite-expression-head
Rules
100×frac-times
50×associate-*l/
44×flip3-+ flip-+
34×associate-*r/
28×exp-neg add-cbrt-cube
24×neg-sub0 exp-diff
22×add-exp-log
19×pow1
18×cube-div
16×add-sqr-sqrt
14×prod-exp cbrt-unprod
9×pow-prod-down
8×*-un-lft-identity add-log-exp difference-of-squares
7×sqr-pow
6×add-cube-cbrt
4×pow-exp un-div-inv rem-cube-cbrt
3×unpow-prod-down pow-unpow pow-pow cube-prod associate-*r*
2×cbrt-undiv distribute-rgt-in associate-+r+ distribute-lft-in div-exp
1×difference-cubes +-commutative cube-mult pow-to-exp sub-neg flip3-- diff-log unpow3 associate-*l* sum-log *-commutative flip-- distribute-lft-out--
Counts
4 → 161
Calls
4 calls:
8.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
401.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 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) 1.0))
63.0ms
(pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) 3)
22.0ms
(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) 3))

series10.6s

Counts
4 → 12
Calls
4 calls:
459.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.9s
(* (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) 1.0))
797.0ms
(pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) 3)
7.5s
(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (* (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (cbrt (cbrt (/ 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))))) 3))

simplify261.0ms

Counts
173 → 173
Iterations

Useful iterations: 1 (38.0ms)

IterNodesCost
0175728873
1500227468
done500227468

prune1.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.0b

regimes225.0ms

Accuracy

0% (0.0b remaining)

Error of 12.8b against oracle of 12.8b and baseline of 12.8b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
072304
172304
done72304

end0.0ms

sample936.0ms

Algorithm
intervals
Results
505.0ms3838×body160valid
277.0ms4162×body80valid