Date:Wednesday, June 3rd, 2020
Commit:ad17e535 on web-tweaks
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

sample42.8s (35.2%)

Algorithm
72×intervals
Results
15.3s292938×body80valid
6.1s14189×body1280valid
2.9s3726×body2560valid
2.6s9532×body640valid
2.2s100627×pre80true
1.2s6925×body320valid
920.0ms8983×body160valid
909.0ms200×body5120exit
748.0ms19528×body80nan
142.0ms1899×body80overflowed
122.0ms256×body5120valid
4.0ms100×pre80false

prune40.9s (33.6%)

Filtered
11941 candidates to 7335 candidates (38.6%)

simplify19.7s (16.2%)

Algorithm
175×egg-herbie

regimes6.1s (5.0%)

Accuracy

Total 27.7b remaining (19.5%)

Threshold costs 3.2b (2.3%)

5.9b67.7%Compound Interest
5.3b74.9%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 (4.3%)

Calls

303 calls:

661.0ms
(pow (+ (+ (+ (+ e d) c) b) a) 3)
77.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
76.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
76.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
74.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))

rewrite4.8s (3.9%)

Algorithm
106×rewrite-expression-head
Calls

303 calls:

149.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)))
69.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 (1.2%)

bsearch587.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...