Details

series16.6m (59.9%)

Calls

2394 calls:

2.0m
(/ (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* (+ (log (+ x y)) (log z)) (+ (+ (log (+ x y)) (log z)) t)) (* t t)))
3.4s
(/ (* z (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (* j 27.0) (* (cbrt k) (cbrt k))) (cbrt k)))))
2.7s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

prune4.7m (17.0%)

sample3.5m (12.5%)

Algorithm
538×intervals
Results
1.2m2592552×body80valid
21.3s516911×body80nan
18.3s48083×body1280valid
9.7s43309×body640valid
4.4s5847×body2560valid
3.7s25147×body320valid
1.3s14011×body160valid
750.0ms1534×body10240exit
110.0ms726×body640nan
106.0ms40×body5120valid
96.0ms498×body1280nan
49.0ms435×body320nan
16.0ms238×body160nan

simplify1.3m (4.9%)

Algorithm
1409×egg-herbie

regimes42.3s (2.6%)

Accuracy

Total 187.4b remaining (36.2%)

Threshold costs 24.6b (4.8%)

18.7b10.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.5b16%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
8.5b-13.2%Linear.Matrix:det33 from linear-1.19.1.3
7.9b29.4%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.5b4.1%Data.Colour.Matrix:determinant from colour-2.3.3, A

rewrite36.7s (2.2%)

Algorithm
872×rewrite-expression-head
Calls

2396 calls:

647.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
492.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
490.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
361.0ms
(/ (* z (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
325.0ms
(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
Rules
43592×*-un-lft-identity
42136×times-frac
41626×add-sqr-sqrt
29844×add-cube-cbrt
11906×prod-diff
11771×add-exp-log
7819×add-cbrt-cube
7119×frac-times
7025×cbrt-prod
6833×frac-add
6164×pow1
5566×associate-/r/
5450×tanh-def
5412×associate-*r*
4618×sqrt-prod
4536×distribute-lft-out--
4337×difference-of-squares
4155×distribute-rgt-in distribute-lft-in
3660×prod-exp
3515×associate-*l*
3356×associate-*r/
3235×add-log-exp
3105×div-exp
2999×associate-/r*
2847×associate-*l/
2649×distribute-lft-out
2498×div-inv
2400×log1p-expm1-u
2396×expm1-log1p-u
2391×cbrt-unprod
2052×associate-/l*
1976×unpow-prod-down
1665×pow-prod-down
1632×cbrt-undiv
1580×flip3-- flip--
1428×cbrt-div
1287×unswap-sqr
1222×flip-+ flip3-+
1165×log-prod
1102×cube-prod
1082×fma-def
896×swap-sqr
856×pow1/3
751×fma-neg
703×sqrt-div
631×*-commutative
617×sub-neg
585×sqrt-pow1
583×associate-+l+
564×associate-+r+
552×associate--l+
496×clear-num frac-2neg
472×sqr-pow
438×pow-exp
377×associate-/l/
368×1-exp
365×log-pow
337×fma-udef
290×pow-prod-up
284×pow1/2
261×rec-exp
260×sum-log
237×pow-to-exp
236×unpow2
220×pow-sqr
200×diff-log
171×pow-unpow
168×+-commutative
144×exp-sum
122×unpow3 cube-mult
121×frac-sub
114×cube-div
102×pow-flip
96×div-sub
94×rem-sqrt-square
93×associate--r+ pow-plus
89×pow2
88×distribute-lft-neg-in
84×rem-log-exp
79×distribute-rgt-out
76×log-div
73×inv-pow
71×pow-pow
69×distribute-rgt-neg-in
41×rem-cube-cbrt
40×un-div-inv exp-prod
37×distribute-rgt-out--
31×distribute-rgt-neg-out
30×associate-+l-
29×unpow1/3
26×sqrt-unprod
23×cos-sum
22×unpow-prod-up hypot-def
21×neg-mul-1
20×sinh-def
18×distribute-lft-neg-out sub-div rem-square-sqrt
12×rem-cbrt-cube
11×distribute-lft1-in hypot-udef unsub-neg
10×associate-+r-
9×rem-exp-log neg-sub0 associate--r-
8×cosh-def
7×exp-diff associate--l- tan-quot
6×difference-cubes sin-neg expm1-log1p sum-cubes expm1-udef
5×distribute-rgt1-in count-2 diff-cos sin-diff
3×log1p-udef cos-diff log1p-expm1 sin-mult exp-to-pow
2×sqrt-pow2 distribute-neg-in pow-sub neg-log cos-mult distribute-neg-frac
1×sqrt-undiv pow3 unpow1/2 distribute-frac-neg

localize9.9s (0.6%)

bsearch4.3s (0.3%)

end6.0ms (0.0%)