Details

sample6.3m (33.2%)

Algorithm
537×intervals
Results
2.3m2588265×body80valid
41.8s510036×body80nan
31.4s47180×body1280valid
19.2s43357×body640valid
7.2s25192×body320valid
6.6s5770×body2560valid
2.1s13949×body160valid
1.5s1650×body10240exit
220.0ms512×body1280nan
186.0ms672×body640nan
145.0ms51×body5120valid
89.0ms448×body320nan
21.0ms238×body160nan

series4.6m (24.1%)

Calls

2503 calls:

2.7s
(+ (* (* z (/ (sqrt (+ t a)) (cbrt t))) (+ b c)) (- (* (* (* (cbrt t) (cbrt t)) (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))))))
1.8s
(/ (+ (* (* z (/ (sqrt (+ t a)) (cbrt t))) (+ b c)) (- (* (* (* (cbrt t) (cbrt t)) (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))) (* (* (cbrt t) (cbrt t)) (+ b c)))
934.0ms
(* (/ 1 (- y z)) (/ 1 (/ (- t z) x)))
872.0ms
(cbrt (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))))
832.0ms
(cbrt (* (cbrt y) (* z (- (tanh (/ t y)) (tanh (/ x y))))))

prune3.9m (20.8%)

rewrite1.8m (9.7%)

Algorithm
882×rewrite-expression-head
Calls

2503 calls:

2.1s
(+ (+ (+ (+ (+ x y) y) x) z) x)
2.0s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
1.9s
(+ (+ (+ (+ x (+ y y)) x) z) x)
1.3s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- x))
1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
37729×times-frac
34275×*-un-lft-identity
33985×add-sqr-sqrt
23128×add-cube-cbrt
11615×add-exp-log
9023×add-cbrt-cube
6877×pow1
6844×associate-*r*
5695×cbrt-prod
4352×associate-*l*
4169×sqrt-prod
4004×add-log-exp
3448×distribute-lft-out--
3387×associate-/r*
3354×prod-exp
3288×difference-of-squares
2848×div-exp
2690×cbrt-unprod
2382×distribute-lft-out
2179×div-inv
2082×associate-/l*
1975×associate-*r/
1944×pow-prod-down
1885×cbrt-undiv
1817×flip3-- flip--
1786×flip-+ flip3-+
1715×cbrt-div
1623×unswap-sqr
1593×associate-/r/
1567×log-prod
1453×associate-*l/
1376×frac-times
1325×distribute-rgt-in distribute-lft-in
1155×unpow-prod-down
1149×swap-sqr
1015×sqrt-div
913×pow1/3
808×sqrt-pow1
803×*-commutative
689×sub-neg
585×associate-/l/
550×sum-log
548×cube-prod
527×clear-num frac-2neg
443×associate-+l+
442×associate--l+
437×pow1/2
432×frac-add
420×pow-prod-up
350×frac-sub
329×associate-+r+
320×1-exp
308×diff-log
303×pow-sqr
296×rec-exp
293×sqr-pow
281×+-commutative
241×pow-exp
192×exp-sum
180×log-pow
149×pow-unpow
128×pow-plus
119×pow-to-exp
113×pow2
107×rem-sqrt-square
100×div-sub
97×pow-pow
83×distribute-neg-frac
80×distribute-lft-neg-in
78×distribute-rgt-neg-in
74×exp-prod tanh-def
71×log-div
62×distribute-rgt-out-- pow-flip
56×unpow2
54×inv-pow
48×associate--r+
45×associate-+l-
44×cube-div rem-log-exp
40×un-div-inv unpow3 cube-mult
38×distribute-rgt-neg-out
34×distribute-rgt-out
31×sqrt-unprod sinh-def
30×rem-cube-cbrt sum-cubes cosh-def
22×neg-mul-1
21×associate-+r- sub-div unsub-neg rem-square-sqrt
15×unpow1/3
14×rem-exp-log
13×neg-sub0
11×associate--l-
10×exp-diff sqrt-undiv exp-neg rem-cbrt-cube mul-1-neg
9×difference-cubes
8×cos-sum sqrt-pow2 tan-quot neg-log associate--r-
7×distribute-rgt1-in
6×cos-diff distribute-lft1-in count-2 exp-to-pow
4×distribute-lft-neg-out diff-cos log-rec
2×distribute-neg-in
1×e-exp-1 unpow-prod-up

simplify1.1m (5.8%)

regimes51.0s (4.5%)

Accuracy

Total 200.5b remaining (36.8%)

Threshold costs 25.3b (4.6%)

18.1b13.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.4b60.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b58.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.9b3.1%Data.Colour.Matrix:determinant from colour-2.3.3, A
8.5b8.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize12.8s (1.1%)

bsearch8.9s (0.8%)

end4.0ms (0.0%)