Details

sample1.2m (36.2%)

Algorithm
60×intervals
Results
22.6s334739×body80valid
8.4s21167×body1280valid
7.8s206976×body80nan
3.0s10935×body640valid
2.3s5178×body2560valid
918.0ms5113×body320valid
415.0ms16512×pre80true
330.0ms2552×body160valid
63.0ms254×body5120valid

prune43.5s (21.5%)

series43.0s (21.3%)

Calls

337 calls:

1.2s
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
830.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)))))
544.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
481.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
440.0ms
(exp (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))

rewrite15.5s (7.7%)

Algorithm
100×rewrite-expression-head
Calls

337 calls:

737.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
520.0ms
(* (pow cos (/ 2.0 2)) (* (* (pow cos (/ 2.0 2)) (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2)))) x))
491.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (* (pow cos (/ 2.0 2)) (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2)))) x)))
467.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
450.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)))))
Rules
6095×times-frac
4454×add-sqr-sqrt
4316×*-un-lft-identity
3562×add-cube-cbrt
3365×add-exp-log
2242×prod-exp
1460×cbrt-prod
1173×add-cbrt-cube
989×associate-*r/
904×associate-*l/
878×associate-*r*
795×unpow-prod-down pow1
792×flip3-- flip--
686×frac-sub
592×distribute-rgt-neg-in
553×pow-exp
552×frac-times
546×cube-prod
532×distribute-lft-neg-in
515×associate-*l*
495×pow-to-exp
494×add-log-exp div-exp
406×cbrt-unprod
302×associate-/l*
300×sqrt-div
293×associate-/r*
289×div-inv
285×sqrt-prod
284×distribute-lft-out--
253×difference-of-squares
215×flip-+ flip3-+
203×pow-prod-down
199×associate-/l/
175×neg-mul-1
172×cbrt-undiv
166×unswap-sqr
126×distribute-lft-out
123×distribute-rgt-in distribute-lft-in
122×sub-neg
120×log-prod
118×*-commutative
116×associate-/r/
83×cbrt-div
72×pow1/3
69×sqr-pow
63×tan-quot
61×log-pow
56×clear-num exp-sum frac-2neg
52×diff-log
44×exp-prod
42×1-exp rec-exp
36×sum-log
35×sin-mult
30×rem-sqrt-square associate--r+ sqrt-pow1
29×pow1/2 frac-add
27×cos-mult
24×swap-sqr
22×associate-+l+ associate-+r+
19×log-div
18×unpow3 pow-flip cube-mult +-commutative
17×neg-sub0 associate-+l-
15×sub-div
14×associate--l+
13×pow-unpow inv-pow neg-log
12×associate--l-
10×rem-exp-log
8×exp-diff pow-pow distribute-lft-neg-out pow-prod-up div-sub
7×pow-sqr
6×cube-div
4×rem-cube-cbrt pow-plus distribute-rgt-out-- log-rec rem-log-exp
3×un-div-inv pow2 associate-+r-
2×cos-sum associate--r- distribute-neg-in unsub-neg distribute-frac-neg tan-sum rem-cbrt-cube distribute-rgt-neg-out distribute-neg-frac
1×sqrt-unprod exp-neg distribute-rgt-out

regimes12.8s (6.4%)

Accuracy

Total 37.3b remaining (23.5%)

Threshold costs 4.6b (2.9%)

11.0b-4.7%Linear.Matrix:det44 from linear-1.19.1.3
3.7b0%Linear.Matrix:det33 from linear-1.19.1.3
3.2b88.8%NMSE problem 3.2.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.6b-6%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

simplify7.8s (3.9%)

Algorithm
160×egg-herbie

bsearch3.9s (1.9%)

localize2.3s (1.2%)

end1.0ms (0.0%)