Details

simplify1.5hr (64.2%)

prune21.2m (15.1%)

sample9.0m (6.4%)

Algorithm
538×intervals
Results
3.6m2654392×body80valid
56.3s502874×body80nan
40.9s47226×body1280valid
22.9s43037×body640valid
8.6s24871×body320valid
7.2s5687×body2560valid
3.6s13455×body160valid
2.3s1589×body10240exit
181.0ms679×body640nan
168.0ms454×body1280nan
103.0ms40×body5120valid
82.0ms429×body320nan
29.0ms244×body160nan

series8.7m (6.2%)

Calls

2468 calls:

3.7s
(* (/ (/ (cbrt (- y z)) (cbrt (cbrt (- a z)))) (cbrt (cbrt (- a z)))) (/ t (cbrt (- a z))))
3.6s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
3.6s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
3.1s
(* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))))
2.3s
(cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))

regimes6.1m (4.3%)

Accuracy

Total 209.0b remaining (40.4%)

Threshold costs 27.6b (5.3%)

13.0b26.7%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
12.4b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b-4.6%Linear.Matrix:det44 from linear-1.19.1.3
10.8b32.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.0b58.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

rewrite3.9m (2.8%)

Algorithm
890×rewrite-expression-head
Calls

2468 calls:

13.5s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
9.1s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
5.2s
(* x (* (* x (* (* (cbrt (- 3.0 (* x 2.0))) (cbrt (cbrt (- 3.0 (* x 2.0))))) (* (cbrt (- 3.0 (* x 2.0))) (cbrt (cbrt (- 3.0 (* x 2.0))))))) (cbrt (cbrt (- 3.0 (* x 2.0))))))
4.3s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
3.8s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
Rules
39463×times-frac
37137×*-un-lft-identity
35308×add-sqr-sqrt
23302×add-cube-cbrt
16071×cbrt-div
13721×associate-*r/
11706×add-exp-log
10612×cbrt-prod
10137×frac-times
9552×add-cbrt-cube
8345×frac-sub
7851×pow1
7358×associate-*r*
6411×associate-*l*
5282×sqrt-prod
5253×tanh-def
4461×flip3-- flip--
4052×distribute-lft-out--
3815×add-log-exp
3781×difference-of-squares
3526×prod-exp
3373×associate-/r*
3363×associate-*l/
3166×cbrt-unprod
3150×distribute-lft-out
2628×div-exp
2481×pow-prod-down
2468×insert-posit16
2260×associate-/l*
2100×cbrt-undiv
1955×associate-/r/
1886×div-inv
1621×flip-+ flip3-+
1601×unswap-sqr
1103×log-prod
1032×sqrt-div
1013×swap-sqr
926×distribute-rgt-in distribute-lft-in
918×pow1/3
820×*-commutative
692×associate-/l/
672×frac-add
647×sub-neg
541×frac-2neg clear-num
513×pow-prod-up
499×sum-log
424×sqrt-pow1
391×associate--l+
363×pow-sqr
293×associate-+r+
271×diff-log
264×+-commutative
241×pow1/2
226×pow-plus
213×1-exp
192×rec-exp
177×associate-+l+
169×pow2
166×log-pow
133×div-sub
113×exp-sum
98×exp-prod
85×rem-sqrt-square
79×cube-unmult
66×pow-flip pow-exp
61×unpow-prod-down
58×distribute-rgt-out--
57×pow-unpow
53×pow3 un-div-inv
51×rem-log-exp log-div
47×inv-pow
41×pow-pow
40×associate--r+ rem-exp-log
38×distribute-lft-neg-out
37×distribute-rgt-out
36×sum-cubes
32×distribute-rgt-neg-out
29×associate-+r- sub-div associate-+l-
27×exp-diff sinh-def
25×pow-to-exp
23×sqr-pow
22×unpow-prod-up sqrt-unprod
20×distribute-rgt-neg-in unsub-neg
18×difference-cubes
14×distribute-lft-neg-in rem-square-sqrt
13×cosh-def unpow1/3
11×cos-mult associate--l- count-2
10×distribute-lft1-in associate--r-
8×tan-quot distribute-rgt1-in
7×rem-cbrt-cube
5×neg-mul-1 exp-to-pow diff-cos
4×neg-sub0 sqr-neg sqr-cos
3×sin-mult cos-diff
2×sqrt-undiv neg-log pow-sub distribute-neg-frac exp-neg cos-sum e-exp-1
1×acos-asin

localize57.4s (0.7%)

bsearch12.6s (0.2%)

end4.0ms (0.0%)