Details

series2.7m (50.4%)

Calls

371 calls:

1.4m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(* (sqrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (sqrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))))

sample1.2m (21.8%)

Algorithm
60×intervals
Results
24.2s336857×body80valid
9.0s21492×body1280valid
8.2s205756×body80nan
3.1s10820×body640valid
2.5s5410×body2560valid
992.0ms5040×body320valid
480.0ms16512×pre80true
331.0ms2452×body160valid
66.0ms228×body5120valid

prune47.3s (14.9%)

regimes13.9s (4.4%)

Accuracy

Total 39.0b remaining (25%)

Threshold costs 5.0b (3.2%)

13.2b-17.6%Linear.Matrix:det44 from linear-1.19.1.3
3.7b5%Linear.Matrix:det33 from linear-1.19.1.3
3.1b88.2%NMSE problem 3.2.1
2.7b20.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite10.7s (3.4%)

Algorithm
107×rewrite-expression-head
Calls

371 calls:

670.0ms
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
438.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)))
423.0ms
(* (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
363.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
320.0ms
(/ (- (* (* 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))))
Rules
5927×times-frac
4753×*-un-lft-identity
4658×add-sqr-sqrt
3763×add-exp-log
3555×add-cube-cbrt
2284×prod-exp
1335×add-cbrt-cube
1045×pow1
770×associate-*r*
765×div-exp
733×flip3-- flip--
728×cbrt-prod
722×associate-*r/
707×associate-*l/
629×unpow-prod-down
620×distribute-rgt-neg-in
591×add-log-exp
586×pow-exp
576×distribute-lft-neg-in
547×frac-times
514×associate-*l*
501×frac-sub
480×pow-to-exp
473×cbrt-unprod
361×distribute-lft-out--
358×cube-prod
357×difference-of-squares
328×exp-prod
318×associate-/l*
309×sqrt-prod
299×div-inv
287×associate-/r*
282×log-pow
264×pow-prod-down
261×distribute-lft-out
220×sqrt-div
213×cbrt-undiv
210×cbrt-div
183×distribute-rgt-in distribute-lft-in
173×unswap-sqr
163×log-prod
158×neg-mul-1
154×associate-/r/
147×associate-/l/
142×sqrt-pow1
141×flip-+ flip3-+
140×sub-neg
122×*-commutative
96×1-exp
90×rec-exp
88×pow1/2
83×pow1/3
74×pow-unpow
73×pow-prod-up
60×diff-log
58×sqr-pow clear-num frac-2neg
55×sum-log
53×swap-sqr
49×pow-pow
47×exp-sum
42×associate-+r+
37×associate-+l+
35×sin-mult
33×rem-sqrt-square
32×cos-mult
31×pow-sqr
26×+-commutative associate--r+
25×neg-sub0
21×pow-plus
19×frac-add
17×pow-flip
16×neg-log rem-exp-log
15×associate-+l- associate--l+
14×inv-pow div-sub
13×tan-quot
12×sub-div pow2 log-div
11×cube-div unpow3 cube-mult
10×rem-cube-cbrt unpow2 distribute-frac-neg
9×distribute-neg-frac associate--l-
8×un-div-inv
7×distribute-neg-in
6×unpow-prod-up rem-log-exp log-rec
5×exp-diff sqrt-unprod exp-to-pow
4×exp-neg rem-cbrt-cube
3×distribute-rgt-out-- pow-sub distribute-lft-neg-out
2×pow-neg pow3 rem-square-sqrt distribute-rgt-out cos-sum tan-sum distribute-rgt-neg-out cube-neg associate-+r-
1×e-exp-1 sum-cubes

simplify9.0s (2.9%)

Algorithm
167×egg-herbie

bsearch4.1s (1.3%)

localize2.8s (0.9%)

end1.0ms (0.0%)