Details

sample1.2m (34.2%)

Algorithm
60×intervals
Results
24.5s335841×body80valid
9.0s21508×body1280valid
8.4s208197×body80nan
3.2s11260×body640valid
2.3s5254×body2560valid
973.0ms5119×body320valid
436.0ms16512×pre80true
322.0ms2463×body160valid
56.0ms210×body5120valid

series51.6s (25.4%)

Calls

343 calls:

3.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
770.0ms
(/ (- (* (* z (sqrt (+ t a))) (+ b c)) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (+ b c)))
681.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))
673.0ms
(- (* (* z (sqrt (+ t a))) (+ b c)) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

prune45.0s (22.1%)

regimes12.8s (6.3%)

Accuracy

Total 38.2b remaining (24.2%)

Threshold costs 2.0b (1.3%)

11.2b-24.2%Linear.Matrix:det44 from linear-1.19.1.3
5.1b2.8%Linear.Matrix:det33 from linear-1.19.1.3
4.4b85%The quadratic formula (r1)
2.4b40.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.4b7.1%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite8.6s (4.2%)

Algorithm
100×rewrite-expression-head
Calls

343 calls:

596.0ms
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
374.0ms
(* (* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ 1 (cbrt (- (+ t 1.0) z)))) (- a x))
202.0ms
(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
200.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
156.0ms
(* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
Rules
5125×times-frac
4587×*-un-lft-identity
4455×add-sqr-sqrt
3064×add-cube-cbrt
2182×add-exp-log
1189×add-cbrt-cube
1027×cbrt-prod
978×prod-exp
868×pow1
725×associate-*r/
682×associate-*r*
600×associate-*l*
556×distribute-rgt-neg-in
535×add-log-exp
517×distribute-lft-neg-in
502×difference-of-squares
468×div-exp
458×frac-times
445×distribute-lft-out--
444×flip-- flip3--
425×frac-sub
388×cbrt-unprod
353×flip-+ flip3-+
335×associate-/l*
301×sqrt-prod
290×distribute-lft-out
286×unpow-prod-down
284×associate-*l/
280×associate-/r*
264×sqrt-div
230×pow-prod-down
228×div-inv
199×cbrt-undiv
193×pow-exp
190×swap-sqr
176×unswap-sqr
174×associate-/r/
158×associate-/l/
153×pow-to-exp
151×distribute-rgt-in distribute-lft-in
139×neg-mul-1
135×sub-neg
134×cube-prod
117×cbrt-div *-commutative
98×log-prod
78×pow1/3
72×1-exp
64×cos-mult
61×clear-num sum-log frac-2neg
60×rec-exp
55×sqr-pow
54×associate-+r+
51×pow1/2 sqrt-pow1 diff-log
48×sin-mult
39×frac-add
38×log-pow
33×rem-sqrt-square
28×+-commutative exp-sum
27×associate--r+
23×associate-+l+ pow-prod-up
22×tan-quot
20×associate--l+
19×pow-sqr exp-prod associate-+l-
17×neg-sub0
16×pow-unpow
15×unpow2
14×sub-div
13×pow-flip
12×un-div-inv
11×inv-pow neg-log
10×div-sub
9×pow-plus
8×cube-div pow2 pow-pow log-div
7×rem-exp-log distribute-neg-frac
6×exp-diff rem-cube-cbrt
4×difference-cubes unpow3 exp-neg cube-mult distribute-frac-neg
3×associate--l- sqrt-unprod associate-+r- distribute-rgt-out--
2×distribute-lft-neg-out exp-to-pow distribute-neg-in rem-square-sqrt tan-sum cos-sum log-rec
1×sin-cos-mult distribute-rgt-out distribute-rgt-neg-out cube-neg rem-log-exp rem-cbrt-cube

simplify7.8s (3.8%)

Algorithm
160×egg-herbie

bsearch5.5s (2.7%)

localize2.7s (1.3%)

end0.0ms (0.0%)