Details

sample1.7m (44.6%)

Algorithm
60×intervals
Results
52.5s334324×body80valid
14.1s209657×body80nan
8.8s21325×body1280valid
3.3s10992×body640valid
3.1s5363×body2560valid
1.1s5082×body320valid
731.0ms16512×pre80true
399.0ms2529×body160valid
98.0ms224×body5120valid

prune43.6s (18.6%)

series41.3s (17.6%)

Calls

350 calls:

473.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (/ (* (tan y) (sin z)) (cos z))) (sin a))) (* (- 1 (/ (* (tan y) (sin z)) (cos z))) (cos a)))
465.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
459.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
459.0ms
(- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))
458.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))

regimes16.0s (6.8%)

Accuracy

Total 40.7b remaining (26.2%)

Threshold costs 2.8b (1.8%)

14.4b-22.8%Linear.Matrix:det44 from linear-1.19.1.3
3.7b5.2%Linear.Matrix:det33 from linear-1.19.1.3
3.2b87.4%NMSE problem 3.2.1
2.5b49.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite10.3s (4.4%)

Algorithm
102×rewrite-expression-head
Calls

350 calls:

1.2s
(* (* x (* (/ (pow (* (cbrt (/ 1 a)) (cbrt (/ 1 a))) 1.0) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (cbrt (/ 1 a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (/ 1 y))
919.0ms
(* (sqrt (/ (- 1) (/ (- f n) (+ f n)))) (sqrt (/ (- 1) (/ (- f n) (+ f n)))))
358.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
319.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
277.0ms
(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
10184×times-frac
8213×*-un-lft-identity
6555×add-sqr-sqrt
5045×add-cube-cbrt
4083×add-exp-log
2583×prod-exp
2004×sqrt-prod
1507×cbrt-prod
1326×add-cbrt-cube
1254×distribute-rgt-neg-in
1132×distribute-lft-neg-in
949×pow1
898×associate-*l*
874×associate-*r*
775×div-exp
771×unpow-prod-down
689×distribute-lft-out
667×distribute-lft-out--
631×swap-sqr
562×pow-exp
555×add-log-exp
544×difference-of-squares cube-prod
506×pow-to-exp
479×cbrt-unprod
407×associate-/l*
389×flip-- associate-/r* flip3--
384×div-inv
375×neg-mul-1
299×associate-/r/
275×pow-prod-down
235×cbrt-div
222×cbrt-undiv
214×frac-times
203×associate-*l/
189×flip-+ flip3-+
188×log-prod
182×unswap-sqr
181×distribute-rgt-in distribute-lft-in
177×associate-*r/
148×sqrt-div
131×sub-neg
116×*-commutative
112×frac-sub
99×sqrt-pow1
77×1-exp
73×rec-exp
72×clear-num frac-2neg
71×associate-+l+ associate-/l/
70×sum-log
69×pow1/2 pow1/3
67×associate-+r+
65×sqr-pow
60×diff-log
52×frac-add
47×exp-sum
46×log-pow
38×pow-prod-up
34×rem-sqrt-square
28×sin-mult associate--l+
26×tan-quot +-commutative
25×exp-prod
24×pow-sqr cos-mult associate-+l- unpow2
21×associate--r+
18×div-sub
16×unpow3 cube-mult
15×pow-plus neg-sub0
14×sub-div log-div
13×pow-unpow
11×inv-pow neg-log pow-flip
10×pow2
9×un-div-inv
8×associate-+r-
7×pow-pow associate--l-
6×rem-exp-log
4×sqrt-unprod distribute-frac-neg distribute-neg-frac log-rec
3×cube-div exp-diff distribute-rgt-out-- rem-square-sqrt rem-log-exp
2×cos-sum rem-cube-cbrt distribute-lft-neg-out distribute-neg-in tan-sum distribute-rgt-neg-out
1×pow3 exp-neg distribute-rgt-out rem-cbrt-cube exp-to-pow

simplify8.4s (3.6%)

Algorithm
162×egg-herbie

bsearch7.8s (3.3%)

localize2.7s (1.2%)

end0.0ms (0.0%)