Date:Wednesday, June 3rd, 2020
Commit:75abde43 on ival-perf
Hostname:warfa with Racket 7.5
Seed:2020155
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune3.0m (68.4%)

Filtered
9571 candidates to 14199 candidates (-48.4%)

sample43.9s (16.9%)

Algorithm
72×intervals
Results
15.9s292938×body80valid
6.2s14189×body1280valid
3.0s3726×body2560valid
2.6s9532×body640valid
2.2s100627×pre80true
1.2s6925×body320valid
933.0ms200×body5120exit
898.0ms8983×body160valid
785.0ms19528×body80nan
150.0ms1899×body80overflowed
132.0ms256×body5120valid
5.0ms100×pre80false

simplify19.9s (7.6%)

Algorithm
175×egg-herbie

regimes6.2s (2.4%)

Accuracy

Total 27.8b remaining (19.6%)

Threshold costs 3.2b (2.3%)

5.9b67.7%Compound Interest
5.4b74.5%Kahan p9 Example
4.8b82.6%The quadratic formula (r1)
2.8b-6.2%Complex division, real part
2.2b25.5%Complex division, imag part

series5.3s (2.0%)

Calls

303 calls:

646.0ms
(pow (+ (+ (+ (+ e d) c) b) a) 3)
81.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
76.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
75.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
75.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)) (* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

rewrite4.8s (1.8%)

Algorithm
106×rewrite-expression-head
Calls

303 calls:

148.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
81.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
68.0ms
(* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))
63.0ms
(/ (* (cbrt (- (pow (+ (* 0.6666666666666667 (pow x 3)) 2.0) 3) (pow (* 1.0 (pow x 2)) 3))) (cbrt (- (pow (+ (* 0.6666666666666667 (pow x 3)) 2.0) 3) (pow (* 1.0 (pow x 2)) 3)))) (* (cbrt (+ (* (+ (* 0.6666666666666667 (pow x 3)) 2.0) (+ (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2)))) (* 1.0 (* 1.0 (pow x 4))))) (cbrt (+ (* (+ (* 0.6666666666666667 (pow x 3)) 2.0) (+ (+ (* 0.6666666666666667 (pow x 3)) 2.0) (* 1.0 (pow x 2)))) (* 1.0 (* 1.0 (pow x 4)))))))
51.0ms
(* (cbrt (pow (/ (neg t1) (+ t1 u)) 3)) (/ v (+ t1 u)))
Rules
6543×frac-times
6521×times-frac
5615×associate-*l/
5220×*-un-lft-identity
4930×add-sqr-sqrt
3548×flip-- flip3--
3263×add-cube-cbrt
2794×associate-*r/
2561×flip-+ flip3-+
2255×frac-sub
1633×add-exp-log
1296×sqrt-prod
1243×add-cbrt-cube
906×associate-*r*
808×unpow-prod-down
696×add-log-exp
663×pow1
625×difference-of-squares
617×distribute-lft-out
559×cbrt-div
545×associate-*l*
531×cbrt-prod
475×associate-/r*
473×prod-exp
463×div-exp
385×associate-/r/
384×distribute-lft-out--
359×cbrt-unprod
344×sqr-pow
336×div-inv associate-/l*
284×frac-add
281×cube-prod
270×cbrt-undiv
193×unswap-sqr
167×unpow2
162×pow-prod-down
159×sum-log
131×distribute-rgt-neg-in
120×sqrt-div
118×associate-/l/
104×sub-neg
103×distribute-lft-neg-in
89×distribute-rgt-in distribute-lft-in
81×exp-neg
77×*-commutative
74×diff-log
72×pow-exp swap-sqr
71×neg-sub0
68×pow-to-exp
64×clear-num frac-2neg
61×exp-diff
44×+-commutative
41×1-exp rec-exp
40×log-prod
35×neg-mul-1
33×associate-+l+
32×rem-sqrt-square
30×associate-+r+ div-sub
25×sqrt-pow1 pow1/2
21×associate--r+
20×un-div-inv
19×pow1/3
18×pow-unpow cube-mult unpow3
16×cube-div
14×difference-cubes
12×pow-plus pow-prod-up
11×distribute-rgt-out--
10×associate--l- pow2 log-div associate--l+ pow-sqr log-pow
8×neg-log
7×distribute-rgt-out inv-pow pow-flip
6×exp-prod rem-cbrt-cube pow-pow
5×distribute-lft1-in distribute-frac-neg rem-cube-cbrt
4×distribute-lft-neg-out sum-cubes
3×rem-log-exp associate-+r- associate-+l-
2×associate--r- unsub-neg rem-exp-log
1×cube-neg +-inverses sub-div

localize1.4s (0.6%)

bsearch605.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...