Details

simplify5.4m (46.9%)

sample3.0m (25.9%)

Algorithm
60×intervals
Results
1.3m335779×body80valid
26.4s209930×body80nan
20.1s21463×body1280valid
9.0s10713×body640valid
4.7s5335×body2560valid
3.8s5424×body320valid
1.2s2371×body160valid
752.0ms16512×pre80true
156.0ms234×body5120valid

series1.1m (9.8%)

Calls

359 calls:

3.8s
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
1.2s
(pow (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a)))))) 3)
763.0ms
(* (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
762.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
747.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))

prune1.0m (9.0%)

rewrite27.2s (4.0%)

Algorithm
104×rewrite-expression-head
Calls

359 calls:

3.9s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
1.5s
(* (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
1.4s
(* (* (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z)))) (- a x))
612.0ms
(exp (+ x (- (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))) (tan a))))
605.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
Rules
3458×add-sqr-sqrt
3330×*-un-lft-identity
3081×add-exp-log
2980×times-frac
2279×add-cube-cbrt
1759×prod-exp
1340×add-cbrt-cube
1193×cbrt-prod
961×pow1
779×associate-*l*
733×associate-*r*
579×div-exp
569×add-log-exp
495×cbrt-unprod
432×distribute-rgt-neg-in
410×distribute-lft-neg-in
400×pow-exp
397×pow-to-exp
370×flip3-- flip--
362×difference-of-squares
326×distribute-lft-out--
301×associate-/r*
299×pow-prod-down
278×cbrt-div
254×frac-times
242×sqrt-prod
238×unpow-prod-down
214×associate-/l*
208×unswap-sqr
207×associate-*r/
206×associate-*l/
205×distribute-lft-out
202×cbrt-undiv
193×associate-/r/
179×div-inv
141×cube-prod sub-neg
137×swap-sqr
131×*-commutative
118×neg-mul-1
114×distribute-rgt-in distribute-lft-in
109×flip-+ flip3-+
107×frac-sub
106×exp-prod
103×sqrt-pow1
98×pow1/3
86×sqrt-div
70×log-prod
62×diff-log tan-quot
60×sqr-pow
57×clear-num associate-+r+ frac-2neg
55×sum-log
49×associate-/l/
43×pow1/2 pow-prod-up
33×pow-sqr
31×sin-mult
30×pow-unpow exp-sum
28×log-pow
26×+-commutative
25×rem-sqrt-square
23×cos-mult
22×associate-+l+ associate-+l-
20×unpow2
19×neg-sub0 associate--l+
18×associate--r+
16×distribute-neg-frac
15×pow-plus
14×rem-exp-log neg-log
13×pow-pow 1-exp frac-add rec-exp
12×cube-div log-div
11×exp-diff sub-div
10×pow2
9×div-sub
8×associate--l-
7×rem-cube-cbrt unpow3 cube-mult
6×un-div-inv distribute-frac-neg
5×associate-+r-
4×inv-pow unpow-prod-up pow-flip
3×sqrt-unprod pow-sub rem-cbrt-cube
2×cos-sum distribute-neg-in rem-square-sqrt exp-neg tan-sum
1×unpow1/3 pow3 quot-tan unsub-neg distribute-rgt-out acos-asin cube-neg exp-to-pow rem-log-exp

regimes20.1s (2.9%)

Accuracy

Total 43.3b remaining (27.3%)

Threshold costs 5.1b (3.2%)

10.2b-11.6%Linear.Matrix:det44 from linear-1.19.1.3
8.4b10.3%Linear.Matrix:det33 from linear-1.19.1.3
6.1b2.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
4.6b84.2%The quadratic formula (r1)
2.4b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

bsearch5.7s (0.8%)

localize4.4s (0.6%)

end1.0ms (0.0%)