Details

sample1.3m (36.8%)

Algorithm
60×intervals
Results
23.7s337335×body80valid
8.8s21761×body1280valid
8.2s207961×body80nan
3.1s10874×body640valid
2.3s5303×body2560valid
947.0ms5100×body320valid
425.0ms16512×pre80true
338.0ms2490×body160valid
60.0ms234×body5120valid

prune44.5s (21.8%)

series39.4s (19.3%)

Calls

353 calls:

674.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
545.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
488.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- (* 1 1) (* (/ (* (sin y) (sin z)) (* (cos y) (cos z))) (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (cos a)))
456.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z)))) (cos a)))
434.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt 1)) (/ (* (/ (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z))) (- a x)) (cbrt (- (+ t 1.0) z))))

rewrite18.5s (9.1%)

Algorithm
103×rewrite-expression-head
Calls

353 calls:

1.2s
(/ (* 2.0 c) (- (* 2.0 (* (* (/ a (* (cbrt b) (cbrt b))) (* (cbrt (/ c (cbrt b))) (cbrt (/ c (cbrt b))))) (cbrt (/ c (cbrt b))))) (* 2 b)))
885.0ms
(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
817.0ms
(* (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) t)
761.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
525.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) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
5870×times-frac
4615×add-sqr-sqrt
4545×*-un-lft-identity
3459×add-cube-cbrt
2559×add-exp-log
1332×add-cbrt-cube
1121×prod-exp
879×pow1
725×associate-*r*
706×div-exp
676×associate-*l*
542×add-log-exp
472×cbrt-unprod
457×cbrt-prod
423×distribute-rgt-neg-in
411×difference-of-squares
404×associate-/r*
403×associate-/l*
390×distribute-lft-neg-in
382×flip-- flip3--
352×sqrt-prod
335×distribute-lft-out--
330×exp-prod
298×unpow-prod-down
291×div-inv
282×pow-exp
278×cbrt-undiv
262×pow-prod-down
246×associate-/r/
233×distribute-lft-out
226×cbrt-div
190×associate-*r/
169×pow-to-exp frac-times
168×distribute-rgt-in associate-*l/ distribute-lft-in
149×unswap-sqr
141×sub-neg
137×log-prod
119×neg-mul-1
117×*-commutative
114×log-pow
110×flip-+ flip3-+
104×frac-sub
97×pow-pow
95×associate-/l/
82×sqrt-div
80×1-exp
76×clear-num frac-2neg
69×pow1/3
68×rec-exp
59×sum-log
54×diff-log
50×associate-+r+
48×sqr-pow exp-sum
45×pow-unpow associate-+l+
43×frac-add
39×sin-mult
32×cos-mult tan-quot
28×neg-sub0
27×pow1/2 sqrt-pow1
25×rem-sqrt-square associate-+l-
24×+-commutative associate--l+
21×swap-sqr div-sub
19×pow-prod-up
18×associate--r+
16×sub-div
15×exp-diff exp-neg
14×log-div
13×cube-prod
12×rem-exp-log neg-log
11×cube-div
10×inv-pow pow-flip distribute-frac-neg
8×un-div-inv distribute-neg-frac
7×pow-sqr
6×log-rec
5×associate--l- unpow2
4×distribute-lft-neg-out associate-+r- distribute-neg-in pow2 unpow-prod-up pow-plus
3×unpow3 cube-mult
2×cos-sum pow-sub tan-sum rem-cbrt-cube distribute-rgt-neg-out
1×rem-cube-cbrt sqrt-unprod unpow1/2 distribute-rgt-out exp-to-pow rem-log-exp

regimes12.8s (6.3%)

Accuracy

Total 36.1b remaining (24.3%)

Threshold costs 2.3b (1.6%)

9.0b-1.3%Linear.Matrix:det44 from linear-1.19.1.3
4.5b84.5%The quadratic formula (r1)
4.3b54.2%Linear.Matrix:det33 from linear-1.19.1.3
2.5b48%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify7.9s (3.9%)

Algorithm
163×egg-herbie

bsearch3.2s (1.6%)

localize2.6s (1.3%)

end0.0ms (0.0%)