Date:Thursday, March 5th, 2020
Commit:a3b4d238 on findroot
Hostname:warfa with Racket 7.5
Seed:2020065
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

prune7.3m (38.9%)

series4.5m (23.8%)

Calls

2604 calls:

3.0s
(/ (+ (* (- (* (- (* (- (* y y) (* 1.0 1.0)) z)) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a))) (+ (+ y t) 2.0)) (* (* (+ y 1.0) (+ t 1.0)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))) (* (* (+ y 1.0) (+ t 1.0)) (+ (+ y t) 2.0)))
3.0s
(+ (pow (* a b) 3) (pow (+ (* x y) (* z t)) 3))
2.2s
(- (* (* 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)))))
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))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.3s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))

sample3.9m (20.6%)

Algorithm
540×intervals
Results
1.5m2663416×body80valid
22.6s525923×body80nan
17.6s46606×body1280valid
10.1s43418×body640valid
3.9s5672×body2560valid
3.8s24681×body320valid
1.4s13643×body160valid
790.0ms1578×body10240exit
112.0ms694×body640nan
111.0ms45×body5120valid
99.0ms474×body1280nan
48.0ms405×body320nan
17.0ms232×body160nan

simplify1.5m (7.7%)

Algorithm
1445×egg-herbie

regimes54.0s (4.8%)

Accuracy

Total 214.9b remaining (37.5%)

Threshold costs 26.1b (4.6%)

18.0b14.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.2b-22%Linear.Matrix:det44 from linear-1.19.1.3
12.3b60.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.3b60.1%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.8b11.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite31.3s (2.8%)

Algorithm
905×rewrite-expression-head
Calls

2604 calls:

507.0ms
(/ (+ (* (- (* (- (* (- (* y y) (* 1.0 1.0)) z)) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a))) (+ (+ y t) 2.0)) (* (* (+ y 1.0) (+ t 1.0)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))) (* (* (+ y 1.0) (+ t 1.0)) (+ (+ y t) 2.0)))
312.0ms
(- x (/ (/ 1 (/ (+ (- t z) 1.0) (- y z))) (/ 1 a)))
195.0ms
(/ (/ 6.0 (/ (sqrt (+ (+ x 1.0) (* 4.0 (sqrt x)))) (+ (sqrt x) (sqrt 1.0)))) (/ (sqrt (+ (+ x 1.0) (* 4.0 (sqrt x)))) (- (sqrt x) (sqrt 1.0))))
157.0ms
(+ (* (- (* (- (* (- (* y y) (* 1.0 1.0)) z)) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a))) (+ (+ y t) 2.0)) (* (* (+ y 1.0) (+ t 1.0)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)))
124.0ms
(* (/ (* (cbrt a) (cbrt a)) (* (cbrt (+ (- t z) 1.0)) (cbrt (+ (- t z) 1.0)))) (/ (- y z) (/ (cbrt (+ (- t z) 1.0)) (cbrt a))))
Rules
83857×times-frac
60995×*-un-lft-identity
56853×add-sqr-sqrt
38790×add-cube-cbrt
38515×associate-*l/
30379×frac-times
20177×flip-+
20176×flip3-+
16601×sqrt-prod
13993×flip--
13992×flip3--
11593×add-exp-log
11062×associate-*r/
10875×frac-sub
10693×frac-add
9010×add-cbrt-cube
8424×cbrt-prod
7698×difference-of-squares
7515×distribute-neg-frac
6948×pow1
6411×associate-*r*
5906×distribute-lft-out--
5859×associate-/l/
5575×distribute-lft-out
4177×associate-*l*
4110×add-log-exp
4085×associate-/r*
3692×div-inv
3193×prod-exp
3014×associate-/r/
2939×cbrt-div
2855×div-exp
2687×cbrt-unprod
2569×associate-/l*
1982×pow-prod-down
1919×cbrt-undiv
1788×unpow-prod-down
1408×log-prod
1381×unswap-sqr
1297×distribute-rgt-in distribute-lft-in
996×pow1/3
935×swap-sqr
810×*-commutative
762×sub-neg
688×cube-prod
576×sqrt-pow1
575×sqr-pow
537×clear-num frac-2neg
535×sqrt-div
528×sum-log
369×associate--l+
364×1-exp
340×rec-exp
336×associate-+l+
335×associate-+r+
328×pow-prod-up
317×+-commutative
309×diff-log
278×pow1/2 distribute-lft-neg-in distribute-rgt-neg-in
273×pow-sqr
248×log-pow
243×exp-sum
198×unpow2
154×pow-unpow
141×pow-exp
124×pow-plus
112×pow2
110×div-sub
100×pow-flip
98×exp-prod
93×pow-to-exp
83×pow-pow
76×rem-sqrt-square
74×associate--r+
73×inv-pow
65×tanh-def
60×neg-mul-1
48×distribute-rgt-neg-out log-div
46×unpow3 cube-mult
45×cube-div
44×rem-log-exp
42×distribute-rgt-out
39×associate-+l-
33×sinh-def
32×sum-cubes
31×un-div-inv
26×rem-cube-cbrt
25×distribute-rgt-out-- unsub-neg
24×difference-cubes
23×cosh-def
18×associate-+r- sub-div
17×sqrt-unprod
15×distribute-lft-neg-out rem-square-sqrt
13×unpow1/3 rem-cbrt-cube
12×rem-exp-log associate--l-
11×associate--r-
9×neg-sub0 exp-to-pow
8×diff-cos tan-quot
6×pow-div distribute-rgt1-in distribute-lft1-in log-rec
5×count-2 neg-log
4×cos-sum sqrt-pow2 sin-neg cos-diff distribute-neg-in sin-diff
2×exp-diff
1×pow3 remove-double-div sqrt-undiv

localize10.2s (0.9%)

bsearch5.4s (0.5%)

end5.0ms (0.0%)