Date:Thursday, April 9th, 2020
Commit:e7bf75bc on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020100
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

sample1.1m (36.0%)

Algorithm
60×intervals
Results
24.0s334324×body80valid
8.8s209657×body80nan
7.1s21325×body1280valid
2.7s10992×body640valid
2.6s5363×body2560valid
849.0ms5082×body320valid
388.0ms16512×pre80true
287.0ms2529×body160valid
65.0ms224×body5120valid

prune42.4s (22.8%)

Filtered
14150 candidates to 8701 candidates (61.5%)

series40.1s (21.6%)

Calls

351 calls:

497.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
463.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
463.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
451.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
450.0ms
(- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))

regimes15.9s (8.6%)

Accuracy

Total 38.2b remaining (24.8%)

Threshold costs 3.9b (2.5%)

14.4b-23.4%Linear.Matrix:det44 from linear-1.19.1.3
3.9b0%Linear.Matrix:det33 from linear-1.19.1.3
2.5b49.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.3b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

simplify8.4s (4.5%)

Algorithm
162×egg-herbie

bsearch5.5s (2.9%)

rewrite3.8s (2.1%)

Algorithm
102×rewrite-expression-head
Calls

351 calls:

119.0ms
(* (sqrt (/ -1 (/ (- f n) (+ f n)))) (sqrt (/ -1 (/ (- f n) (+ f n)))))
70.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
67.0ms
(/ (* x (* (* (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (cbrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) y)
56.0ms
(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
54.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
Rules
11162×times-frac
7098×*-un-lft-identity
6996×add-sqr-sqrt
5682×add-cube-cbrt
3085×add-exp-log
1970×prod-exp
1666×cbrt-prod
1494×unpow-prod-down
1232×add-cbrt-cube
885×pow1
854×sqrt-prod
727×associate-*l*
622×associate-*r*
552×distribute-rgt-neg-in
549×associate-/l*
544×cube-prod
535×add-log-exp
526×distribute-lft-neg-in
491×div-inv
458×difference-of-squares
446×pow-exp
430×div-exp
428×pow-to-exp
423×cbrt-unprod
417×associate-/r*
396×distribute-lft-out--
348×flip-- flip3--
297×distribute-lft-out
285×exp-sum
247×pow-prod-down
209×associate-/r/
202×cbrt-undiv log-prod
194×cbrt-div swap-sqr
183×frac-times
176×unswap-sqr
175×distribute-rgt-in distribute-lft-in
173×neg-mul-1
170×associate-*r/
166×associate-*l/
133×sub-neg
127×flip-+ flip3-+
117×sqr-pow *-commutative
115×frac-sub
80×associate-/l/
78×associate-+r+
75×pow1/3
73×clear-num frac-2neg
72×sqrt-div
60×log-pow
59×associate-+l+ diff-log
49×sum-log
42×pow1/2 sqrt-pow1
33×tan-quot
29×exp-prod
28×sin-mult
27×frac-add
24×rem-sqrt-square +-commutative pow-prod-up cos-mult
22×1-exp rec-exp associate--l+
21×associate--r+
19×associate-+l-
18×pow-sqr log-div
16×unpow3 cube-mult div-sub
15×sub-div
13×neg-sub0
12×inv-pow pow-flip
10×neg-log
9×pow-plus
8×pow2
7×pow-unpow un-div-inv associate--l- log-rec
6×rem-exp-log
5×pow-pow distribute-lft-neg-out associate-+r-
4×exp-diff rem-log-exp
3×cube-div sqrt-unprod
2×cos-sum rem-cube-cbrt sqrt-undiv exp-neg distribute-neg-in rem-square-sqrt distribute-frac-neg tan-sum distribute-rgt-neg-out distribute-neg-frac
1×distribute-rgt-out rem-cbrt-cube exp-to-pow

localize2.7s (1.4%)

end0.0ms (0.0%)