Details

series17.3m (61.8%)

Calls

2221 calls:

3.2m
(* (* y z) (fma (- (tanh (/ x y))) 1 (* (tanh (/ x y)) 1)))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.9s
(fma t (- (* x (* 18.0 (* y z))) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* x 18.0) (* y z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

prune4.4m (15.9%)

sample3.5m (12.4%)

Algorithm
539×intervals
Results
1.2m2595455×body80valid
21.7s528062×body80nan
18.1s47124×body1280valid
10.0s44522×body640valid
4.5s5637×body2560valid
3.7s25182×body320valid
1.3s13704×body160valid
779.0ms1561×body10240exit
111.0ms42×body5120valid
98.0ms520×body1280nan
96.0ms653×body640nan
47.0ms450×body320nan
16.0ms246×body160nan

simplify1.3m (4.5%)

Algorithm
1377×egg-herbie

regimes41.2s (2.5%)

Accuracy

Total 181.9b remaining (36.8%)

Threshold costs 23.3b (4.7%)

14.8b52.8%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.8b3.9%Development.Shake.Progress:decay from shake-0.15.5
8.6b-7.5%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
6.9b12.4%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3
6.6b16.2%Data.Colour.Matrix:determinant from colour-2.3.3, A

rewrite36.5s (2.2%)

Algorithm
839×rewrite-expression-head
Calls

2223 calls:

1.1s
(- (log (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))) (log (+ (* 1.0 1.0) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))) (* 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))))))
1.1s
(log (+ (* 1.0 1.0) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))) (* 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))))
916.0ms
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
556.0ms
(* (/ (+ (sqrt x) (sqrt 1.0)) (* (* (cbrt 1) (cbrt 1)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0))))) (/ (/ (- (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (cbrt 1) 6.0)))
497.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
67861×times-frac
53813×*-un-lft-identity
53463×add-sqr-sqrt
36828×add-cube-cbrt
9135×sqrt-prod
8890×add-exp-log
8495×prod-diff
7169×add-cbrt-cube
6642×associate-*r*
6535×difference-of-squares
6024×cbrt-prod
5896×distribute-lft-out--
5194×pow1
4024×associate-/r*
3346×associate-*l*
3063×add-log-exp
3032×unpow-prod-down
2975×div-inv
2953×distribute-lft-out
2723×cbrt-div
2679×frac-times
2478×distribute-rgt-in distribute-lft-in
2287×div-exp
2224×expm1-log1p-u
2223×log1p-expm1-u
2153×prod-exp
2083×associate-/l*
2068×flip-- flip3--
1935×associate-/r/
1791×cbrt-unprod
1568×flip-+ flip3-+
1554×cbrt-undiv
1346×associate-*r/
1307×associate-*l/
1272×log-prod
1246×pow-prod-down
1206×unswap-sqr
1103×associate-/l/
1032×fma-udef
1015×exp-sum
871×pow1/3
861×swap-sqr
827×fma-def
673×fma-neg
573×associate-+r+
566×*-commutative
534×sqr-pow
514×associate--l+
510×cube-prod
472×clear-num frac-2neg
435×associate-+l+
427×sub-neg
424×associate--r+
320×log-pow
285×1-exp
269×sum-log
267×sqrt-div
263×rec-exp
238×sqrt-pow1
209×diff-log
199×pow-prod-up
177×pow-sqr
154×pow1/2
151×+-commutative
140×unpow2
119×frac-sub
106×pow-unpow
100×div-sub
87×pow-exp
83×pow-plus
81×pow2
78×rem-sqrt-square
77×unpow3 cube-mult
72×pow-flip
63×frac-add
61×inv-pow distribute-rgt-neg-in
56×distribute-lft-neg-in pow-to-exp
54×log-div
49×exp-prod
46×cube-div
41×un-div-inv
40×rem-log-exp pow-pow
38×tanh-def
32×hypot-def
31×sinh-def
28×cosh-def
27×associate-+l-
24×distribute-rgt-out neg-mul-1 distribute-rgt-neg-out
23×cos-sum rem-cube-cbrt
17×difference-cubes
16×distribute-lft-neg-out associate-+r-
15×unsub-neg
14×rem-exp-log
12×rem-cbrt-cube
11×distribute-rgt-out--
10×sqrt-unprod
9×associate--l- rem-square-sqrt neg-sub0
8×neg-log associate--r-
7×sqrt-undiv sub-div tan-quot
6×distribute-lft1-in
5×distribute-rgt1-in count-2 exp-to-pow
4×diff-cos distribute-neg-frac
3×cos-diff hypot-udef sin-mult
2×exp-diff distribute-frac-neg
1×expm1-udef sqrt-pow2 log1p-udef exp-neg log1p-expm1 expm1-log1p mul-1-neg

localize9.1s (0.5%)

bsearch4.3s (0.3%)

end5.0ms (0.0%)