Details

sample8.1m (44.6%)

Algorithm
78×intervals
Results
5.0m36580×body10240exit
1.3m43980×body1280valid
27.3s30256×body640valid
18.3s203356×body80valid
13.9s152375×body80nan
13.3s28117×body320valid
9.1s35967×body160valid
7.7s174765×pre80true
1.6s2990×body2560valid
1.0s8126×body160nan
550.0ms248×body5120valid
453.0ms4224×pre10240exit
1.0ms1×body320nan

simplify6.3m (34.7%)

prune2.0m (11.2%)

series53.9s (4.9%)

Calls

471 calls:

895.0ms
(hypot (* (cos (/ (+ phi1 phi2) 2.0)) (- lambda1 lambda2)) (- phi1 phi2))
698.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2.0))) (- phi1 phi2)) R)
674.0ms
(* (hypot (* (log (exp (cos (/ (+ phi1 phi2) 2.0)))) (- lambda1 lambda2)) (- phi1 phi2)) R)
622.0ms
(* (hypot (* (cos (/ (+ phi1 phi2) 2.0)) (- lambda1 lambda2)) (- phi1 phi2)) R)
594.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

regimes24.6s (2.2%)

Accuracy

Total 49.5b remaining (31.1%)

Threshold costs 5.6b (3.5%)

7.4b46.7%Quadratic roots, narrow range
6.7b0%Quadratic roots, medium range
5.6b58.7%Cubic critical, narrow range
5.0b24.1%Cubic critical, medium range
4.7b83.4%Cubic critical

rewrite17.6s (1.6%)

Algorithm
146×rewrite-expression-head
Calls

471 calls:

1.0s
(* (- (/ (/ (/ (* (* m (- 1.0 m)) (+ 1.0 m)) (sqrt v)) (sqrt v)) (+ 1.0 m)) 1.0) m)
572.0ms
(* (/ (* (/ (* c a) b) -1.5) (* (* 3.0 3.0) (* 3.0 (* a a)))) (/ (* (* (/ (* c a) b) -1.5) (* (/ (* c a) b) -1.5)) a))
568.0ms
(cbrt (* (/ (* (/ (* c a) b) -1.5) (* (* 3.0 3.0) (* 3.0 (* a a)))) (/ (* (* (/ (* c a) b) -1.5) (* (/ (* c a) b) -1.5)) a)))
554.0ms
(* (/ (* (/ (cbrt a2) (cbrt b2)) (/ (cbrt a2) (cbrt b2))) (* (cbrt b1) (cbrt b1))) (/ a1 (/ (cbrt b1) (/ (cbrt a2) (cbrt b2)))))
546.0ms
(* (/ 2.0 (fma (* (exp x) (exp x)) (exp x) (exp (- (* x -2) x)))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
Rules
9658×times-frac
8521×add-exp-log
8461×*-un-lft-identity
7939×add-sqr-sqrt
7705×add-cbrt-cube
6260×add-cube-cbrt
4432×prod-exp
4106×cbrt-unprod
2576×div-exp
2310×prod-diff
2286×cbrt-undiv
1467×sqrt-prod
1347×associate-*r*
1255×cbrt-prod
1188×pow1
678×distribute-lft-out add-log-exp
566×associate-/l*
558×difference-of-squares
546×div-inv
501×associate-/r*
484×associate-*l*
474×log1p-expm1-u
473×expm1-log1p-u
421×distribute-lft-out--
408×associate-/r/
349×fma-neg
296×associate-*r/
267×pow-exp
252×pow-prod-down
240×distribute-rgt-in distribute-lft-in
238×exp-neg
226×log-prod
216×flip--
215×flip3--
202×flip-+
201×flip3-+
188×distribute-rgt-neg-in
187×pow-to-exp
185×unswap-sqr
171×fma-def
168×neg-sub0
164×frac-times
157×distribute-lft-neg-in
155×exp-diff
154×associate-*l/
148×exp-prod
141×swap-sqr
123×frac-sub
107×pow-prod-up
106×frac-2neg clear-num
104×*-commutative
95×sqrt-div
90×sub-neg
84×un-div-inv
83×associate-/l/ log-pow
68×associate-+l+
67×diff-log
60×sub-div
57×associate-+r+ pow-sqr
54×pow-plus unpow-prod-down
53×associate--l+
50×sqrt-pow1 pow1/2
48×cos-sum div-sub
47×cbrt-div
40×sum-log fma-udef
37×pow1/3
35×pow2
33×sin-sum
32×rem-sqrt-square
29×+-commutative neg-mul-1
28×exp-sum log-div
24×pow-unpow rem-log-exp
23×sin-mult
20×pow3
19×1-exp rec-exp sin-diff
17×associate-+l-
16×tan-quot
14×frac-add
12×tanh-def
10×sin-cos-mult asin-acos cos-diff
8×difference-cubes sqr-pow associate--r+ acos-asin
7×neg-log rem-exp-log
6×pow-flip sqrt-undiv pow-pow inv-pow
5×distribute-frac-neg
4×expm1-log1p expm1-udef associate--l- cos-mult cube-unmult sqrt-unprod acos-neg associate--r-
3×distribute-lft-neg-out log1p-expm1 log1p-udef hypot-udef distribute-rgt-out-- rem-square-sqrt
2×rgt-mult-inverse hypot-def rem-cbrt-cube distribute-rgt-out
1×unsub-neg distribute-neg-frac tanh-undef

localize6.6s (0.6%)

bsearch1.1s (0.1%)

end1.0ms (0.0%)