Details

simplify1.1hr (75.7%)

prune8.1m (8.9%)

sample5.5m (6.1%)

Algorithm
460×intervals
Results
2.6m1941696×body80valid
27.6s30869×body1280valid
23.7s195803×body80nan
14.7s27380×body640valid
7.8s5617×body2560valid
6.5s15716×body320valid
2.2s8835×body160valid
2.0s1577×body10240exit
134.0ms48×body5120valid
106.0ms311×body640nan
53.0ms114×body1280nan
39.0ms162×body320nan
15.0ms99×body160nan

series5.2m (5.8%)

Calls

2100 calls:

2.9s
(* (cbrt (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma (* (/ y 1.0) (/ y 1.0)) 1/2 (* 1.0 y)))))) (cbrt (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma (* (/ y 1.0) (/ y 1.0)) 1/2 (* 1.0 y)))))))
2.4s
(cbrt (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma (* (/ y 1.0) (/ y 1.0)) 1/2 (* 1.0 y))))))
2.4s
(cbrt (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma (* (/ y 1.0) (/ y 1.0)) 1/2 (* 1.0 y))))))
2.4s
(/ (/ (fma (* (sqrt 2.0) (* (- (sin y) (* 0.0625 (sin x))) (- (sin x) (* 0.0625 (sin y))))) (- (cos x) (cos y)) 2.0) (fma (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (cos y) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0))) 3.0)
2.3s
(cbrt (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma (* (/ y 1.0) (/ y 1.0)) 1/2 (* 1.0 y))))))

regimes1.5m (1.7%)

Accuracy

Total 116.4b remaining (37.6%)

Threshold costs 18.3b (5.9%)

11.8b62.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.0b18.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.7b13.7%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.1b7.8%Linear.Matrix:det33 from linear-1.19.1.3
5.1b0%Data.Colour.Matrix:determinant from colour-2.3.3, A

rewrite1.0m (1.1%)

Algorithm
791×rewrite-expression-head
Calls

2100 calls:

1.3s
(* x (+ (+ (/ y z) (- (/ t (- 1.0 z)))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
551.0ms
(/ (- (* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y)))) (* (/ 1 (/ (- 2.0 (+ x y)) y)) (/ 1 (/ (- 2.0 (+ x y)) y)))) (+ (/ x (- 2.0 (+ x y))) (/ 1 (/ (- 2.0 (+ x y)) y))))
508.0ms
(* (- (/ 1 (/ (- z y) x)) (/ y (- z y))) t)
484.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
469.0ms
(- (/ x (+ x y)) (/ 1 (/ (+ x y) y)))
Rules
54543×times-frac
51930×*-un-lft-identity
47766×add-sqr-sqrt
35424×add-cube-cbrt
18943×prod-diff
8595×add-exp-log
6939×add-cbrt-cube
6069×cbrt-prod
5524×distribute-lft-out--
5480×pow1
4721×difference-of-squares
4412×associate-*r*
4237×distribute-rgt-in distribute-lft-in
3737×sqrt-prod
3435×div-inv
3208×distribute-lft-out
3062×associate-*l*
3033×associate-/r/
2740×associate-/r*
2628×add-log-exp
2353×prod-exp
2101×expm1-log1p-u log1p-expm1-u
2017×cbrt-unprod
1935×div-exp
1910×associate-/l*
1907×flip3-- flip--
1532×pow-prod-down
1420×cbrt-undiv
1288×cbrt-div
1135×associate-+l+
1079×unswap-sqr
1067×associate-*r/
926×log-prod
886×flip-+ flip3-+
831×fma-neg
801×frac-times
790×pow1/3
757×swap-sqr
667×associate-*l/
580×*-commutative
454×sub-neg
449×frac-2neg clear-num
385×associate-+r+
336×associate-/l/
326×sqrt-pow1
314×fma-udef
268×fma-def
263×pow-prod-up
239×associate--l+
233×1-exp
232×rec-exp
219×sqrt-div
209×pow-sqr
203×associate--r+
185×log-pow
180×unpow-prod-up
174×diff-log
142×pow1/2
127×frac-sub
125×pow-plus
116×unpow-prod-down
104×sum-log
99×exp-sum
94×pow2
87×div-sub
71×+-commutative
60×pow-flip
58×sinh-def
57×rem-sqrt-square
55×inv-pow
52×distribute-rgt-out--
50×tanh-def
45×exp-prod
44×log-div
42×rem-log-exp
40×un-div-inv distribute-rgt-out
37×frac-add
26×pow3 sqr-pow sub-div
24×cos-sum
23×pow-unpow
21×distribute-lft-neg-out pow-exp
17×pow-pow
16×cube-prod associate-+l-
14×distribute-rgt-neg-out
12×cosh-def pow-to-exp rem-exp-log
11×unsub-neg
10×associate-+r-
8×difference-cubes
7×sqrt-undiv sqrt-unprod hypot-def rem-square-sqrt
6×neg-sub0 expm1-udef distribute-rgt-neg-in tan-quot cos-diff count-2
5×distribute-lft1-in distribute-rgt1-in exp-diff exp-to-pow associate--r- distribute-lft-neg-in
4×expm1-log1p pow-sub associate--l- difference-of-sqr-1 sum-cubes unpow1/3 rem-cbrt-cube diff-cos
3×log1p-expm1 neg-mul-1 cos-neg log1p-udef
2×cube-unmult exp-neg
1×sin-sum sin-diff sin-neg

localize26.4s (0.5%)

bsearch10.2s (0.2%)

end3.0ms (0.0%)