Date:Saturday, February 29th, 2020
Commit:c75aaa3c on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020060
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.0m (33.8%)

Algorithm
60×intervals
Results
21.6s321238×body80valid
8.7s207585×body80nan
7.1s21307×body1280valid
2.7s11166×body640valid
2.5s5321×body2560valid
851.0ms5166×body320valid
400.0ms16512×pre80true
309.0ms2663×body160valid
60.0ms230×body5120valid

prune48.2s (26.0%)

series40.7s (21.9%)

Calls

359 calls:

1.1s
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
807.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)))))
492.0ms
(+ (pow (+ (* a a) (* b b)) (* 2 2.0)) (- (* (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))))
470.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ (- (+ t 1.0) z) (cbrt (- y z)))) (- a x))
467.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))

regimes15.4s (8.3%)

Accuracy

Total 22.9b remaining (19%)

Threshold costs 3.2b (2.7%)

4.6b39.1%Linear.Matrix:det33 from linear-1.19.1.3
2.6b37.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.2b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.5b64.4%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

simplify8.7s (4.7%)

Algorithm
164×egg-herbie

rewrite3.7s (2.0%)

Algorithm
104×rewrite-expression-head
Calls

359 calls:

112.0ms
(* (* x (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
75.0ms
(/ 1 (* (sqrt (exp (/ (+ f n) (- f n)))) (sqrt (exp (/ (+ f n) (- f n))))))
70.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
64.0ms
(* (sqrt (exp (/ (+ f n) (- f n)))) (sqrt (exp (/ (+ f n) (- f n)))))
50.0ms
(/ (* (* x (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
Rules
4378×*-un-lft-identity
3879×times-frac
3710×add-sqr-sqrt
2628×add-cube-cbrt
2298×add-exp-log
1350×add-cbrt-cube
1197×associate-*r*
1082×prod-exp
1033×pow1
994×associate-*l/
928×associate-*r/
816×flip-- flip3--
723×sqrt-pow1
719×sqrt-prod
718×exp-prod
639×frac-sub
613×associate-*l*
562×add-log-exp
519×frac-times
490×cbrt-unprod
482×unpow-prod-down
441×distribute-lft-out-- pow-prod-down
406×cbrt-prod
402×div-exp
381×distribute-lft-out
345×difference-of-squares
336×sqrt-div
305×associate-/r*
278×log-prod
251×flip-+ flip3-+
236×pow-flip
233×distribute-rgt-neg-in
226×associate-/l/
223×distribute-rgt-in distribute-lft-in
222×associate-/l*
215×distribute-lft-neg-in
199×cbrt-undiv
192×unswap-sqr
177×pow-exp
174×div-inv
170×pow-to-exp
147×associate-/r/
139×*-commutative
130×cbrt-div
129×pow-prod-up
128×sub-neg
119×pow-sqr
89×log-pow exp-sum
78×pow1/2
76×pow1/3
66×sqr-pow sum-log
65×associate-+r+
62×clear-num frac-2neg
60×neg-mul-1
54×diff-log
52×associate-+l+
42×swap-sqr
41×tan-quot
35×pow-unpow 1-exp rec-exp
28×frac-add +-commutative
27×associate-+l-
25×rem-sqrt-square
24×unpow2
23×associate--l+ associate--r+
22×sin-mult
21×neg-sub0
18×inv-pow
16×div-sub neg-log cos-mult
15×log-div
14×distribute-neg-frac
11×distribute-rgt-neg-out
10×pow-pow rem-exp-log distribute-neg-in distribute-rgt-out--
9×sub-div log-rec
8×pow2 pow-plus associate--l-
7×associate-+r- rem-log-exp
6×sqrt-unprod
5×exp-diff
4×distribute-lft-neg-out unpow-prod-up cube-prod
3×unsub-neg exp-to-pow
2×pow-neg un-div-inv pow-sub rem-square-sqrt distribute-frac-neg tan-sum cos-sum
1×unpow3 e-exp-1 exp-neg cube-mult +-inverses

bsearch3.6s (1.9%)

localize2.7s (1.4%)

end0.0ms (0.0%)