Details

simplify19.0m (84.1%)

sample1.0m (4.4%)

Algorithm
327×intervals
Results
33.3s612596×body80valid
2.6s26558×body80nan
1.5s3141×body1280valid
789.0ms2695×body640valid
350.0ms851×body2560valid
319.0ms1596×body320valid
119.0ms782×body160valid
32.0ms36×body10240exit
7.0ms17×body1280nan
4.0ms14×body640nan
3.0ms14×body320nan
3.0ms1×body5120valid
1.0ms8×body160nan

prune54.8s (4.0%)

rewrite52.6s (3.9%)

Algorithm
433×rewrite-expression-head
Calls

1016 calls:

1.9s
(* x (+ (+ (+ (+ y z) z) y) t))
1.1s
(/ (+ (* (+ (pow (/ 2.0 (* t z)) 3) (pow (- (/ 2.0 t) 2.0) 3)) y) (* (+ (* (- (/ 2.0 t) 2.0) (- (- (/ 2.0 t) 2.0) (/ 2.0 (* t z)))) (* (/ 2.0 (* t z)) (/ 2.0 (* t z)))) x)) (* y (+ (* (- (/ 2.0 t) 2.0) (- (- (/ 2.0 t) 2.0) (/ 2.0 (* t z)))) (* (/ 2.0 (* t z)) (/ 2.0 (* t z))))))
1.0s
(* (/ 1 (sqrt t)) (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t))))
840.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
775.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
Rules
8911×add-sqr-sqrt
8907×*-un-lft-identity
7804×times-frac
5958×add-cube-cbrt
3868×add-exp-log
3450×add-cbrt-cube
2572×pow1
1848×add-log-exp
1801×associate-*r*
1584×associate-*l*
1525×associate-*l/
1237×flip3-- flip--
1087×prod-exp
1081×associate-/r*
1042×frac-add
1010×cbrt-unprod
960×associate-*r/
935×distribute-lft-out--
927×cbrt-prod
903×difference-of-squares
871×frac-times
751×associate-/l*
747×pow-prod-down
701×div-exp
678×sqrt-prod
638×flip-+ flip3-+
619×distribute-lft-out
577×cbrt-undiv
548×cbrt-div
536×div-inv
481×unswap-sqr
464×distribute-rgt-in distribute-lft-in
405×associate-/l/
392×sub-neg
378×*-commutative
377×associate-/r/
375×log-prod
364×cube-div
302×sum-log
263×pow1/3
253×frac-sub
232×swap-sqr
215×clear-num frac-2neg
171×diff-log
167×+-commutative
142×associate--l+
119×associate-+l+
112×associate-+r+
108×sqrt-pow1
106×sqrt-div
85×pow-prod-up
75×pow-sqr
64×pow1/2
58×log-pow
56×unpow-prod-down
54×1-exp
52×rec-exp
49×div-sub
35×pow-plus
34×pow2
30×associate--r+
29×associate-+l-
22×rem-sqrt-square
21×distribute-rgt-out
20×cube-prod log-div
14×exp-prod
12×pow-unpow distribute-rgt-neg-out rem-log-exp
11×associate-+r-
10×sub-div exp-sum
9×rem-exp-log pow-flip
8×distribute-rgt-neg-in distribute-lft-neg-in distribute-rgt-out-- tanh-def
7×inv-pow
6×associate--l- distribute-rgt1-in sqr-pow unsub-neg sum-cubes pow-exp
5×distribute-lft1-in count-2 associate--r-
4×exp-diff pow-pow unpow3 pow-to-exp cube-mult neg-mul-1 cosh-def sinh-def
3×sqrt-unprod cos-diff rem-square-sqrt
2×rem-cube-cbrt diff-cos tan-quot neg-log cos-sum distribute-lft-neg-out rem-cbrt-cube
1×un-div-inv distribute-neg-in neg-sub0 exp-to-pow

series37.7s (2.8%)

Calls

462 calls:

738.0ms
(- (* (+ y 0.5) (log y)) y)
549.0ms
(+ (- (* x 2.0) (* (* y (* z 9.0)) t)) (* a (* 27.0 b)))
476.0ms
(* (+ y 0.5) (log y))
434.0ms
(* (+ y 0.5) (log y))
382.0ms
(- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))

localize7.4s (0.5%)

regimes3.0s (0.2%)

Accuracy

Total 14.5b remaining (96.4%)

Threshold costs 2.8b (18.8%)

9.2b7.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
1.4b77.7%Diagrams.Solve.Tridiagonal:solveCyclicTriDiagonal from diagrams-solve-0.1, A
1.0b86.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, I
1.0b88.2%Data.Colour.Matrix:inverse from colour-2.3.3, B
0.8b78.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, A

bsearch12.0ms (0.0%)

end1.0ms (0.0%)