Details

simplify4.5m (34.6%)

series3.3m (25.4%)

Calls

372 calls:

2.3m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
1.8s
(/ (- (* (* (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (cos a)) (+ 1 (* (tan y) (tan z)))) (* (* (cos y) (cos z)) (* (- (* 1 1) (* (* (tan y) (tan z)) (* (tan y) (tan z)))) (sin a)))) (* (* (- 1 (* (tan y) (tan z))) (cos a)) (* (* (cos y) (cos z)) (+ 1 (* (tan y) (tan z))))))
1.2s
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (- (/ (sin a) (cos a)) x))
1.2s
(+ x (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))))
954.0ms
(* (* (log (+ y x)) (log (+ y x))) (* (log (+ y x)) (log (+ y x))))

sample2.7m (20.3%)

Algorithm
60×intervals
Results
1.2m334713×body80valid
26.0s206503×body80nan
20.4s21477×body1280valid
7.2s11030×body640valid
5.1s5296×body2560valid
2.4s5109×body320valid
1.3s2557×body160valid
1.3s16512×pre80true
250.0ms216×body5120valid

prune1.5m (11.7%)

regimes29.7s (3.8%)

Accuracy

Total 40.5b remaining (27%)

Threshold costs 5.0b (3.4%)

11.8b-17%Linear.Matrix:det44 from linear-1.19.1.3
5.9b27.8%Linear.Matrix:det33 from linear-1.19.1.3
4.6b83.5%The quadratic formula (r1)
3.4b87.8%NMSE problem 3.2.1
2.7b38.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite19.0s (2.4%)

Algorithm
108×rewrite-expression-head
Calls

372 calls:

895.0ms
(* (cbrt (- x)) (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))))
858.0ms
(* (- x) (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))))
718.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))
671.0ms
(cbrt (* (* (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))) (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))))) (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))))))
513.0ms
(* (* (cbrt b) (cbrt b)) (* (cbrt b) (* c z)))
Rules
2875×add-sqr-sqrt
2747×*-un-lft-identity
2057×times-frac
1775×add-cube-cbrt
1736×add-exp-log
1402×add-cbrt-cube
1356×pow1
696×associate-*r*
652×prod-exp
559×associate-*l*
550×add-log-exp
528×cbrt-unprod
519×cbrt-prod
420×pow-prod-down
373×flip3-- flip--
372×insert-posit16
364×frac-times
344×difference-of-squares
340×associate-*l/
305×cbrt-div
299×associate-*r/
283×sqrt-prod
281×div-exp
268×distribute-lft-out--
262×associate-/l*
254×associate-/r*
246×frac-sub
216×cbrt-undiv
215×distribute-lft-out
187×flip-+ flip3-+
160×unswap-sqr
153×div-inv
131×*-commutative
124×distribute-rgt-in distribute-lft-in
117×sub-neg
116×distribute-rgt-neg-in
104×log-prod
103×associate-/l/ associate-/r/
102×distribute-lft-neg-in
100×sqrt-div
98×pow1/3
97×swap-sqr pow-prod-up
64×cos-mult
60×difference-of-sqr-1 pow-sqr
59×frac-2neg clear-num
57×tan-quot
55×pow-plus
52×sqrt-pow1 pow1/2
51×sum-log
50×diff-log log-pow
48×exp-prod
41×pow-unpow 1-exp rec-exp
34×associate--r+ neg-mul-1
33×rem-sqrt-square
32×pow2
27×sin-mult unpow-prod-down
26×frac-add
23×pow-pow
22×associate--l+
21×unpow-prod-up +-commutative
20×exp-sum sqr-pow
19×div-sub
18×associate-+r+
17×associate-+l+
14×associate-+l-
13×pow-exp sub-div
12×pow-flip neg-sub0 log-div
11×inv-pow
10×cube-prod pow-div rem-exp-log
9×neg-log
8×pow-to-exp pow-sub
7×distribute-lft-neg-out
6×exp-diff cube-div
5×associate--l- associate--r-
4×pow3 un-div-inv
3×distribute-rgt-neg-out sqrt-unprod rem-cbrt-cube cos-2
2×associate-+r- cube-unmult cos-sum tan-sum exp-to-pow distribute-neg-frac rem-square-sqrt distribute-frac-neg unsub-neg
1×quot-tan unpow3 remove-posit16 cube-mult e-exp-1

localize7.2s (0.9%)

bsearch6.8s (0.9%)

end1.0ms (0.0%)