Date:Monday, March 2nd, 2020
Commit:76ce2b17 on master
Hostname:warfa with Racket 7.5
Seed:2020062
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 (33.0%)

Algorithm
60×intervals
Results
24.0s334172×body80valid
8.7s208566×body80nan
7.1s21199×body1280valid
2.6s11049×body640valid
2.6s5409×body2560valid
824.0ms5064×body320valid
398.0ms16512×pre80true
298.0ms2627×body160valid
64.0ms237×body5120valid

prune50.3s (25.1%)

series49.2s (24.6%)

Calls

352 calls:

3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
931.0ms
(* (sqrt (+ (sqrt x) (sqrt 1.0))) (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x)))
809.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
714.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))

regimes15.4s (7.7%)

Accuracy

Total 42.1b remaining (26.5%)

Threshold costs 5.9b (3.7%)

14.0b-27.3%Linear.Matrix:det44 from linear-1.19.1.3
4.8b31.8%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
4.5b-6.2%Linear.Matrix:det33 from linear-1.19.1.3
4.2b-24.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify8.7s (4.3%)

Algorithm
164×egg-herbie

rewrite4.0s (2.0%)

Algorithm
104×rewrite-expression-head
Calls

352 calls:

219.0ms
(* (- y z) (/ 1 (- (+ t 1.0) z)))
126.0ms
(* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
69.0ms
(/ (+ (* (+ (* (+ (* (* (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
59.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
51.0ms
(/ (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
Rules
8012×times-frac
5544×add-sqr-sqrt
5319×*-un-lft-identity
4473×add-cube-cbrt
3691×add-exp-log
2199×prod-exp
1623×cbrt-prod
1331×unpow-prod-down
1305×associate-*r*
1262×add-cbrt-cube
949×associate-*r/
927×associate-*l/
873×pow1
824×flip-- flip3--
815×sqrt-prod
758×div-exp
645×distribute-rgt-neg-in
618×distribute-lft-neg-in
593×frac-sub
564×cube-prod
560×pow-exp
554×add-log-exp associate-*l*
546×frac-times
481×pow-to-exp
403×cbrt-unprod
392×sqrt-div
377×associate-/l*
342×difference-of-squares
337×div-inv
297×distribute-lft-out--
296×associate-/r*
234×flip-+ flip3-+
222×pow-prod-down
210×associate-/l/
209×cbrt-undiv
195×neg-mul-1
185×cbrt-div
174×distribute-rgt-in distribute-lft-in
172×unswap-sqr
153×log-prod
148×distribute-lft-out
147×sub-neg
123×exp-sum
121×sqr-pow
120×*-commutative
112×associate-/r/
104×exp-prod
80×pow1/3
65×sum-log
64×1-exp
63×pow-pow
62×clear-num frac-2neg sqrt-pow1
54×diff-log
50×log-pow
48×pow1/2
46×associate-+r+
37×pow-unpow
35×associate-+l+
33×swap-sqr
31×sin-mult
30×rem-sqrt-square rec-exp
29×associate--r+
27×pow-prod-up
25×distribute-neg-in +-commutative
24×unpow3 cube-mult cos-mult unpow2
23×frac-add
21×tan-quot
19×neg-log pow-sqr associate-+l-
18×neg-sub0 associate--l+
16×distribute-neg-frac
15×rem-exp-log
14×pow-plus
13×cube-div inv-pow sub-div pow-flip
12×un-div-inv
10×unpow-prod-up log-div
9×associate--l-
8×pow2 log-rec
7×pow-sub div-sub
6×exp-diff distribute-lft-neg-out
5×sqrt-unprod associate-+r-
4×rem-cube-cbrt exp-neg
3×rem-cbrt-cube distribute-rgt-neg-out
2×cos-sum distribute-frac-neg tan-sum rem-log-exp
1×pow-div unpow1/3 pow3 rem-square-sqrt exp-to-pow

bsearch3.7s (1.8%)

localize2.7s (1.4%)

end0.0ms (0.0%)