Details

sample8.7m (32.0%)

Algorithm
539×intervals
Results
3.4m2656639×body80valid
58.2s528889×body80nan
38.1s47740×body1280valid
23.6s43438×body640valid
9.2s24538×body320valid
9.1s5853×body2560valid
2.7s13976×body160valid
1.4s1519×body10240exit
204.0ms50×body5120valid
190.0ms654×body640nan
151.0ms498×body1280nan
78.0ms434×body320nan
27.0ms244×body160nan

series6.4m (23.6%)

Calls

2483 calls:

21.6s
(/ (* y (* z (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
5.2s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.1s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.3s
(- (* (* 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)))))
3.3s
(/ (- (* (* 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))))

prune6.3m (23.3%)

rewrite2.2m (8.3%)

Algorithm
876×rewrite-expression-head
Calls

2483 calls:

3.7s
(/ (* (+ (* 2 (+ z y)) t) (* (- (+ (+ (+ y z) z) y) t) x)) (- (+ (+ (+ y z) z) y) t))
3.5s
(* (+ (* 2 (+ z y)) t) (* (- (+ (+ (+ y z) z) y) t) x))
3.0s
(+ (+ (+ (+ (+ x y) y) x) z) x)
2.7s
(* (/ (- y z) (* (* (cbrt (- (+ t 1.0) z)) (* (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (cbrt (- (+ t 1.0) z))))) (cbrt (- (+ t 1.0) z)))) (- a x))
1.5s
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
48235×times-frac
38686×*-un-lft-identity
37595×add-sqr-sqrt
26569×add-cube-cbrt
11417×add-exp-log
8787×add-cbrt-cube
8308×frac-times
6986×frac-add
6410×pow1
5822×associate-*r*
5652×cbrt-prod
5594×associate-/r/
5486×tanh-def
4434×associate-*l*
4350×associate-*r/
4048×associate-*l/
3840×add-log-exp
3799×difference-of-squares
3744×distribute-lft-out--
3658×associate-/r*
3352×prod-exp
3161×sqrt-prod
3022×cbrt-div
2742×cbrt-unprod
2708×div-exp
2705×flip-- flip3--
2567×distribute-lft-out
2375×div-inv
2111×associate-/l*
1897×cbrt-undiv
1740×unpow-prod-down
1718×pow-prod-down
1490×flip-+ flip3-+
1453×unswap-sqr
1273×log-prod
1063×distribute-rgt-in distribute-lft-in
869×pow1/3
808×swap-sqr
758×*-commutative
751×sqrt-div
639×sub-neg
628×sqrt-pow1
598×frac-sub
584×associate-/l/
544×cube-prod
498×clear-num frac-2neg
492×sum-log
465×sqr-pow
346×pow1/2
341×pow-prod-up
319×associate-+l+
315×1-exp
274×diff-log
272×rec-exp
270×+-commutative
258×associate-+r+
251×associate--l+
242×pow-sqr
232×log-pow
223×pow-exp
190×exp-prod
187×pow-unpow
180×exp-sum
173×pow-to-exp
133×unpow2
115×pow-plus
104×div-sub
102×cube-div
100×pow2
96×rem-sqrt-square
85×associate--r+
82×pow-pow
77×pow-flip
65×inv-pow log-div
51×rem-log-exp
46×distribute-rgt-out--
43×associate-+l-
39×sinh-def
32×un-div-inv
28×unpow3 cube-mult
26×rem-cube-cbrt distribute-rgt-neg-out
24×sqrt-unprod distribute-rgt-out
23×rem-exp-log cosh-def
22×difference-cubes
21×distribute-neg-frac
16×associate-+r- rem-square-sqrt
14×exp-diff exp-to-pow
13×distribute-lft-neg-in distribute-lft-neg-out distribute-rgt-neg-in
12×unsub-neg
9×sum-cubes associate--l- sub-div
8×sin-mult associate--r- rem-cbrt-cube
7×unpow1/3 distribute-rgt1-in unpow-prod-up
6×distribute-lft1-in count-2
5×distribute-neg-in pow-sub neg-sub0 neg-mul-1
4×sqrt-undiv sqrt-pow2 difference-of-sqr-1
3×pow3 exp-neg cos-diff diff-cos neg-log
2×cos-sum e-exp-1 sum-cos tan-quot log-rec
1×sin-cos-mult acos-asin mul-1-neg

simplify1.9m (6.9%)

regimes1.1m (4.0%)

Accuracy

Total 385.2b remaining (51.5%)

Threshold costs 20.5b (2.7%)

23.2b-1837.7%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2, A
16.5b21.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.1b55.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.2b-13344.5%Diagrams.TwoD.Apollonian:initialConfig from diagrams-contrib-1.3.0.5, A
11.9b-298.5%Diagrams.Backend.Cairo.Internal:setTexture from diagrams-cairo-1.3.0.3

localize18.2s (1.1%)

bsearch13.2s (0.8%)

end6.0ms (0.0%)