Date:Wednesday, February 26th, 2020
Commit:a943e6d1 on master
Hostname:warfa with Racket 7.5
Seed:2020057
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune10.0m (46.3%)

series4.5m (21.0%)

Calls

2670 calls:

2.3s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.1s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
1.5s
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (pow (/ 1 y) -1/3)) (+ y 0.5)))
1.5s
(* (cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z))))) (/ t (cbrt (- a z))))
1.3s
(cbrt (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))

sample3.7m (17.0%)

Algorithm
539×intervals
Results
1.4m2655526×body80valid
20.9s518680×body80nan
17.5s47118×body1280valid
9.7s43010×body640valid
4.0s5393×body2560valid
3.6s24890×body320valid
1.3s13841×body160valid
778.0ms1540×body10240exit
108.0ms43×body5120valid
101.0ms691×body640nan
85.0ms469×body1280nan
47.0ms420×body320nan
15.0ms216×body160nan

simplify1.6m (7.4%)

Algorithm
1465×egg-herbie

regimes52.2s (4.0%)

Accuracy

Total 198.9b remaining (35.9%)

Threshold costs 22.2b (4%)

13.2b57.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b53.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.3b-5.2%Linear.Matrix:det44 from linear-1.19.1.3
10.5b1.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
10.5b55.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

rewrite38.4s (3.0%)

Algorithm
926×rewrite-expression-head
Calls

2670 calls:

842.0ms
(* (* (sqrt (* (cbrt (sqrt (+ (* 2 (+ x y)) (+ x z)))) (cbrt (sqrt (+ (* 2 (+ x y)) (+ x z)))))) (* (sqrt (cbrt (sqrt (+ (* 2 (+ x y)) (+ x z))))) (sqrt (sqrt (+ (* 2 (+ x y)) (+ x z)))))) (sqrt (+ (* 2 (+ x y)) (+ x z))))
772.0ms
(* (/ (/ 1 (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y) (/ (/ (pow (/ 1 a) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 x)))
109.0ms
(- (+ x y) (/ (/ (- z t) (- a t)) (/ 1 y)))
101.0ms
(+ (/ (/ 60.0 (- z t)) (/ 1 (- x y))) (* a 120.0))
99.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
Rules
120448×sqrt-div
73195×times-frac
63436×flip-+ flip3-+
58525×frac-times
55989×associate-*r/
52249×*-un-lft-identity
51001×add-sqr-sqrt
49509×frac-add
47361×cbrt-div
36798×add-cube-cbrt
12908×add-exp-log
11981×sqrt-prod
9998×associate-*l/
9308×add-cbrt-cube
8988×cbrt-prod
7532×associate-*r*
7321×pow1
5338×difference-of-squares
4450×associate-*l*
4178×distribute-lft-out--
4171×add-log-exp
3988×associate-/r*
3783×distribute-lft-out
3601×div-exp
3558×unpow-prod-down
3553×prod-exp
3127×div-inv
3092×associate-/l*
3049×flip-- flip3--
2769×cbrt-unprod
2484×associate-/r/
2058×pow-prod-down
1974×cbrt-undiv
1581×unswap-sqr
1308×log-prod
1238×distribute-rgt-in distribute-lft-in
1015×pow1/3
898×frac-sub
867×swap-sqr
832×*-commutative
795×sqrt-pow1
754×sub-neg
750×cube-prod
745×sqr-pow
687×associate-/l/
610×exp-prod
600×log-pow
542×clear-num frac-2neg
517×sum-log
475×exp-sum
468×pow-prod-up
458×1-exp
413×rec-exp
373×associate-+l+
371×pow1/2
341×associate--l+
337×associate-+r+
329×pow-sqr
326×pow-exp
314×+-commutative
307×diff-log
190×pow-unpow
170×pow-plus
163×pow-to-exp unpow2
135×pow2
118×div-sub
111×rem-sqrt-square
99×sum-cubes
82×pow-pow
79×pow-flip
73×inv-pow
63×cube-div
59×tanh-def
54×associate--r+ log-div
49×rem-log-exp
45×un-div-inv
38×difference-cubes
35×distribute-rgt-neg-out
34×distribute-rgt-out-- unpow3 cube-mult associate-+l-
32×rem-cube-cbrt
29×sub-div
28×rem-exp-log sqrt-unprod distribute-rgt-neg-in
27×sinh-def
26×distribute-lft-neg-in
22×associate-+r-
21×unsub-neg distribute-rgt-out
20×unpow1/3 rem-square-sqrt cosh-def
18×distribute-lft-neg-out
13×neg-mul-1
10×sin-mult rem-cbrt-cube
9×associate--r-
8×associate--l- neg-sub0
7×tan-quot log-rec
6×neg-log exp-diff distribute-rgt1-in
5×sqrt-undiv distribute-lft1-in count-2
4×sqrt-pow2 distribute-neg-in diff-cos
3×cos-diff exp-to-pow
2×pow3 exp-neg cos-sum distribute-neg-frac mul-1-neg
1×e-exp-1 unpow-prod-up unpow1/2 cos-mult

localize10.5s (0.8%)

bsearch6.6s (0.5%)

end5.0ms (0.0%)