Details

sample8.5m (32.2%)

Algorithm
538×intervals
Results
3.4m2649226×body80valid
55.4s526270×body80nan
34.3s46290×body1280valid
22.5s43622×body640valid
8.9s24266×body320valid
7.5s5548×body2560valid
3.0s13250×body160valid
1.7s1519×body10240exit
248.0ms489×body1280nan
219.0ms662×body640nan
103.0ms35×body5120valid
98.0ms423×body320nan
23.0ms223×body160nan

prune6.4m (24.3%)

series5.9m (22.5%)

Calls

2520 calls:

4.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
4.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
2.9s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
2.8s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.3s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))

rewrite2.4m (9.0%)

Algorithm
884×rewrite-expression-head
Calls

2520 calls:

3.9s
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (* (* (cbrt (cbrt (- (+ t 1.0) z))) (cbrt (cbrt (- (+ t 1.0) z)))) (cbrt (cbrt (- (+ t 1.0) z)))))) (cbrt (- (+ t 1.0) z))) (- a x))
1.7s
(* x (+ (+ (+ (+ y z) z) y) t))
1.1s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
983.0ms
(* (sqrt (sqrt (+ (+ (* y (* x 2.0)) (pow y 2)) (* x x)))) (pow (sqrt (sqrt (+ (+ (* y (* x 2.0)) (pow y 2)) (* x x)))) 3))
957.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) (/ 471841060772561.0 17179869184.0)) y) (/ 7925469156333415.0 34359738368.0)) y) t) (/ 1 (+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) (* (cbrt y) (cbrt y))) (cbrt y)) i)))
Rules
51780×times-frac
40120×*-un-lft-identity
38111×add-sqr-sqrt
28385×add-cube-cbrt
12641×add-exp-log
9224×cbrt-prod
8899×add-cbrt-cube
8332×sqrt-prod
6301×pow1
5881×cbrt-div
5812×associate-*r*
5175×associate-*r/
5081×associate-*l*
4632×frac-times
3904×add-log-exp
3901×prod-exp
3737×flip-- flip3--
3701×associate-/r*
3363×div-exp
3163×distribute-lft-out--
3143×difference-of-squares
3082×associate-*l/
3060×distribute-lft-out
2971×associate-/r/
2685×div-inv
2629×cbrt-unprod
2272×associate-/l*
2103×flip-+ flip3-+
2001×cbrt-undiv
1765×frac-sub
1717×pow-prod-down
1371×unswap-sqr
1357×log-prod
1205×distribute-rgt-in distribute-lft-in
1033×pow1/3
1013×tanh-def
997×unpow-prod-down
915×associate-/l/
896×frac-add
822×swap-sqr
760×sqrt-div
742×*-commutative
673×sub-neg
524×clear-num frac-2neg
475×sum-log
458×associate-+l+
423×1-exp
398×rec-exp
388×sqrt-pow1
376×associate-+r+
331×associate--l+
327×cube-prod
309×diff-log
299×pow-exp
276×+-commutative
260×pow-to-exp
252×pow-prod-up
241×pow1/2
215×pow-sqr
204×sqr-pow
194×log-pow
139×pow-unpow
135×rem-sqrt-square
104×pow-plus
98×unpow2
96×pow2
94×pow-flip div-sub
83×pow-pow
79×cube-div
77×un-div-inv
74×inv-pow
61×log-div
56×exp-prod
49×associate--r+
42×rem-log-exp
39×associate-+l-
38×exp-sum
37×distribute-rgt-neg-out
31×distribute-rgt-out--
28×sum-cubes
27×unpow3 cube-mult
26×distribute-rgt-out
25×associate-+r-
20×unsub-neg
19×rem-exp-log
16×rem-cube-cbrt sqrt-unprod
15×sub-div
14×distribute-lft-neg-in distribute-rgt-neg-in
13×associate--r- cosh-def
10×rem-square-sqrt sinh-def
9×associate--l-
8×exp-diff
6×distribute-lft-neg-out distribute-rgt1-in unpow-prod-up diff-cos neg-mul-1 rem-cbrt-cube
5×sqrt-pow2 distribute-lft1-in pow-sub count-2 neg-sub0
4×unpow1/3 cos-diff cos-sum pow-neg exp-to-pow
2×difference-cubes e-exp-1 exp-neg tan-quot neg-log mul-1-neg
1×sin-cos-mult pow3

simplify1.6m (5.9%)

regimes1.1m (4.4%)

Accuracy

Total 376.6b remaining (51%)

Threshold costs 16.5b (2.2%)

23.2b-1132.8%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2, A
20.9b-4555.2%Numeric.SpecFunctions:incompleteBetaApprox from math-functions-0.1.5.2, B
16.8b-57.3%Numeric.Signal:interpolate from hsignal-0.2.7.1
12.6b60.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.8b-11.1%Linear.Matrix:det44 from linear-1.19.1.3

localize17.4s (1.1%)

bsearch9.1s (0.6%)

end5.0ms (0.0%)