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

sample32.8s (30.5%)

Algorithm
73×intervals
Results
9.9s294093×body80valid
5.2s14196×body1280valid
2.7s3885×body2560valid
2.0s9530×body640valid
1.8s16929×body160valid
1.6s100590×pre80true
1.0s2168×body10240exit
771.0ms6829×body320valid
554.0ms19557×body80nan
69.0ms229×body5120valid
3.0ms100×pre80false

prune29.2s (27.1%)

series26.6s (24.7%)

Calls

316 calls:

417.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
412.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
412.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
406.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))
399.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

simplify10.0s (9.2%)

Algorithm
180×egg-herbie

rewrite3.7s (3.4%)

Algorithm
110×rewrite-expression-head
Calls

316 calls:

80.0ms
(- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
71.0ms
(* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
47.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
46.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (* (cbrt (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))))
43.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))))
Rules
3462×*-un-lft-identity
3252×add-sqr-sqrt
3228×times-frac
2132×add-cube-cbrt
1731×add-exp-log
1468×add-cbrt-cube
1127×associate-*r/
824×associate-*r*
734×add-log-exp
684×pow1
631×cbrt-div
604×frac-times
585×prod-exp
579×flip3-- flip--
542×unpow-prod-down
508×cbrt-unprod
481×distribute-lft-out
461×associate-*l*
408×div-exp
383×difference-of-squares
382×cbrt-prod
364×associate-/r*
352×cbrt-undiv
332×associate-*l/
320×frac-add
303×flip-+ flip3-+
275×sqrt-prod
240×distribute-lft-out--
232×associate-/l*
224×cube-prod
213×div-inv
210×associate-/r/
187×sqr-pow
181×swap-sqr
174×unswap-sqr
171×sum-log
158×pow-prod-down
127×frac-sub
98×sub-neg
95×associate-/l/
94×unpow2
82×exp-neg
77×diff-log
76×*-commutative
73×neg-sub0
69×exp-diff
67×sqrt-div
66×distribute-rgt-in distribute-lft-in
64×clear-num frac-2neg
60×log-prod
59×pow-exp
58×pow1/3
48×+-commutative
47×pow-to-exp distribute-rgt-neg-in
36×cube-div
35×associate-+l+
33×distribute-lft-neg-in
32×rem-sqrt-square
28×pow-unpow
27×un-div-inv
25×pow1/2 associate-+r+ sqrt-pow1
24×distribute-rgt-out--
23×pow-prod-up unpow3 cube-mult
22×div-sub
21×exp-sum
20×associate--l+
18×pow-sqr log-pow
15×distribute-lft1-in pow-plus
14×pow2 1-exp rec-exp
11×rem-cube-cbrt neg-mul-1
10×exp-prod pow-pow log-div
9×neg-log rem-cbrt-cube
7×associate-+l- associate--r+
6×associate--l- inv-pow distribute-lft-neg-out associate-+r- pow-flip
5×distribute-frac-neg
4×distribute-neg-in unsub-neg rem-log-exp
2×rem-exp-log +-inverses exp-to-pow
1×sqrt-undiv difference-cubes unpow1/3 cube-unmult sub-div distribute-rgt-out sum-cubes

regimes3.0s (2.8%)

Accuracy

Total 20.9b remaining (5.5%)

Threshold costs 3.2b (0.8%)

5.8b67.7%Compound Interest
4.2b78.2%Kahan p9 Example
2.9b0%Complex division, real part
1.4b0%Rosa's DopplerBench
1.2b53.7%Complex division, imag part

localize1.5s (1.4%)

bsearch956.0ms (0.9%)

end1.0ms (0.0%)