Details

sample1.7m (31.2%)

Algorithm
98×intervals
Results
43.8s8571×body10240exit
18.2s437321×body80valid
11.4s27266×body1280valid
5.0s20392×body640valid
2.6s69400×body80nan
1.8s1759×body1280nan
1.6s10675×body320valid
1.1s9854×body160valid
948.0ms1324×body640nan
689.0ms49536×pre80true
379.0ms740×body320nan
351.0ms1529×body2560valid
265.0ms5092×body80overflowed
143.0ms584×body5120valid
140.0ms410×body160nan

rewrite1.2m (23.1%)

Algorithm
154×rewrite-expression-head
Calls

453 calls:

7.1s
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
5.9s
(* (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (/ 1 (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))
5.0s
(* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
5.0s
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
4.9s
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
Rules
22665×times-frac
16818×*-un-lft-identity
13069×add-sqr-sqrt
10065×add-cube-cbrt
8633×sqrt-prod
3272×associate-*r*
3050×add-exp-log
2965×pow1
2880×add-cbrt-cube
2456×distribute-lft-out
1671×prod-exp
1599×cbrt-unprod
1527×pow-prod-down
1255×associate-/r/
1110×difference-of-squares
1040×associate-/l*
984×flip-+ flip3-+
962×distribute-lft-out--
802×add-log-exp
732×associate-*l*
638×div-inv
444×associate-/r*
404×associate-*r/
403×cbrt-prod
301×div-exp
283×sqrt-div
279×unswap-sqr
269×log-pow
258×cbrt-undiv
208×log-prod
192×frac-add
185×unpow-prod-down
165×sqrt-pow1
144×flip3-- flip--
136×*-commutative
129×pow-prod-up
125×pow1/2
124×pow-unpow
122×swap-sqr
121×associate-/l/
115×frac-times
112×distribute-rgt-in sum-log distribute-lft-in
105×cbrt-div
102×diff-log
96×associate-*l/
88×clear-num frac-2neg
82×sub-neg
81×rem-sqrt-square
80×cube-prod
74×pow1/3 frac-sub
70×exp-prod
69×pow-sqr
67×sqr-pow pow-plus
49×pow-exp
46×pow-pow
45×associate--l+
44×exp-sum log-div
42×distribute-neg-frac
41×pow2
38×pow-to-exp
37×distribute-rgt-neg-in
36×+-commutative
33×distribute-lft-neg-in
25×div-sub
23×inv-pow pow-flip
22×exp-diff
16×1-exp
15×unpow3 cube-mult rec-exp
14×cube-div associate-+r+
13×pow3 rem-log-exp
12×associate--l- pow-sub
11×neg-mul-1 associate--r+
9×associate-+l+
7×rem-cube-cbrt
6×rem-exp-log distribute-neg-in unpow-prod-up
5×distribute-rgt-neg-out
4×sub-div rem-cbrt-cube
3×sqrt-pow2 sin-sum sum-cubes associate-+l-
2×associate-+r- distribute-rgt-out-- unsub-neg neg-sub0 cos-sum exp-to-pow
1×neg-log e-exp-1 un-div-inv sqrt-unprod exp-neg rem-square-sqrt distribute-frac-neg log-rec associate--r-

prune1.0m (19.3%)

series59.1s (18.3%)

Calls

453 calls:

4.5s
(/ (sqrt (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (- (sqrt (+ (+ alpha beta) (* 2.0 i))) (sqrt (sqrt 1.0))))
2.2s
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
1.3s
(pow E (log (- (+ 1.0 (+ (* 0.284496736 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) (* 1.453152027 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 4))))) (+ (* 1.061405429 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 5))) (+ (* 1.421413741 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 3))) (* 0.254829592 (/ (exp (- (pow (fabs x) 2))) (+ (* 0.3275911 (fabs x)) 1.0))))))))
871.0ms
(- (+ 1.0 (+ (* 0.284496736 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) (* 1.453152027 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 4))))) (+ (* 1.061405429 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 5))) (+ (* 1.421413741 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 3))) (* 0.254829592 (/ (exp (- (pow (fabs x) 2))) (+ (* 0.3275911 (fabs x)) 1.0))))))
862.0ms
(- (+ 1.0 (+ (* 0.284496736 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 2))) (* 1.453152027 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 4))))) (+ (* 1.061405429 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 5))) (+ (* 1.421413741 (/ (exp (- (pow (fabs x) 2))) (pow (+ (* 0.3275911 (fabs x)) 1.0) 3))) (* 0.254829592 (/ (exp (- (pow (fabs x) 2))) (+ (* 0.3275911 (fabs x)) 1.0))))))

simplify15.6s (4.8%)

Algorithm
250×egg-herbie

regimes6.8s (2.1%)

Accuracy

Total 88.6b remaining (31.2%)

Threshold costs 4.1b (1.4%)

10.7b57%math.log/2 on complex, real part
10.0b59.5%math.log10 on complex, real part
9.9b59.9%math.log/1 on complex, real part
9.6b59.7%math.abs on complex
8.8b58.6%math.sqrt on complex, real part

localize2.4s (0.7%)

bsearch1.2s (0.4%)

end1.0ms (0.0%)