Date:Wednesday, July 22nd, 2020
Commit:750605db on cleanup
Hostname:warfa with Racket 7.5
Seed:2020204
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

Time bar (total: 1.9min)

sample37.2s (32.6%)

Algorithm
73×intervals
Results
11.0s238025×body80valid
6.0s14083×body1280valid
2.8s3807×body2560valid
2.6s16674×body160valid
2.5s9422×body640valid
2.2s99273×pre80true
2.0s14537×body80invalid
1.1s6690×body320valid
907.0ms200×body5120exit
128.0ms259×body5120valid
116.0ms239×body640invalid
115.0ms149×body1280invalid
86.0ms1684×body80nan
57.0ms176×body320invalid
20.0ms11×body2560invalid
19.0ms98×body160invalid
16.0ms205×body80overflowed
4.0ms100×pre80false

prune30.5s (26.7%)

analyze21.4s (18.8%)

Algorithm
36×search
2×random
Search
TrueOtherFalseIter
0%60.5%39.5%0
1.4%59.2%39.5%1
5.6%55%39.5%2
11.1%47.4%41.5%3
13.9%43.5%42.6%4
19%38.1%42.8%5
20.7%35.1%44.2%6
24%30.1%45.9%7
26.5%26.9%46.6%8
29.4%22.8%47.8%9
31.8%19.6%48.6%10
33.4%17.3%49.2%11
35.7%14.6%49.7%12
40.6%9%50.4%13
41.2%8.2%50.6%14

simplify9.1s (8%)

Algorithm
178×egg-herbie

regimes5.7s (5%)

Accuracy

Total 29.8b remaining (30%)

Threshold costs 3.1b (3.1%)

6.9b6711.3%Compound Interest
4.6b8395.5%The quadratic formula (r1)
4.5b7893.2%Kahan p9 Example
3.6b0%Complex division, imag part
2.2b2468.9%Complex division, real part

series4.9s (4.3%)

Calls

311 calls:

259.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
134.0ms
(+ x1 (+ (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0))))))
89.0ms
(+ (* x (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))
89.0ms
(- (* (* (cbrt (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))))) (cbrt (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))))) (cbrt (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))))) (* 6.0 (* x1 x1)))
77.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite3.5s (3%)

Algorithm
108×rewrite-expression-head
Rules
2758×*-un-lft-identity
2736×add-sqr-sqrt
2165×times-frac
1845×add-exp-log
1664×add-cube-cbrt
1487×add-cbrt-cube
1072×associate-*r/
880×pow1
840×prod-exp
729×add-log-exp
655×associate-*r*
652×cbrt-unprod
506×associate-*l*
504×frac-times
425×flip-- flip3--
385×difference-of-squares
384×cbrt-prod
351×distribute-lft-out
340×sqrt-prod
336×cbrt-div
327×pow-prod-down
291×unpow-prod-down
290×flip-+ flip3-+
282×div-exp
266×associate-*l/
235×cbrt-undiv
234×distribute-lft-out--
210×associate-/r*
192×associate-/l*
188×sum-log
175×associate-/r/
171×frac-add
151×div-inv
146×cube-prod
125×frac-sub
117×sub-neg
113×unswap-sqr
103×distribute-rgt-in distribute-lft-in
83×*-commutative
80×exp-neg
78×associate-/l/
75×sqr-pow
70×exp-diff
68×swap-sqr
63×diff-log
62×neg-sub0
55×pow1/3
52×+-commutative
50×sqrt-div
47×clear-num frac-2neg
39×pow-unpow
35×associate-+l+
34×pow-exp
33×associate-+r+
32×log-prod
31×pow-to-exp
24×cube-mult
23×sqrt-pow1 unpow3
22×rem-sqrt-square pow1/2 1-exp
20×cube-div un-div-inv
18×rec-exp
17×pow-pow
13×div-sub
11×pow-sqr log-pow pow-prod-up
10×associate-+r- exp-prod
9×rem-cbrt-cube
8×pow2 log-div pow-plus
7×rem-exp-log
6×exp-sum associate--l+ pow-flip
5×associate--r+ rem-cube-cbrt
4×rem-log-exp inv-pow
3×associate--l- distribute-rgt-neg-in distribute-rgt-out
2×sqrt-pow2 neg-log distribute-rgt1-in
1×unsub-neg sum-cubes
Calls

311 calls:

61.0ms
(+ x1 (+ (* (+ (* x1 x1) 1.0) (- (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) (* 6.0 (* x1 x1)))) (+ (* x1 (* x1 (+ (* 3.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) x1))) (* 3.0 (/ (- (* x1 (* x1 3.0)) (+ x1 (* 2.0 x2))) (+ (* x1 x1) 1.0))))))
50.0ms
(+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3))))
49.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 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (* x1 (* x1 (- (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) 6.0))))) (cbrt (* x1 (* x1 (- (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))) 6.0))))))
45.0ms
(- (* (* (cbrt (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))))) (cbrt (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))))) (cbrt (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0)))))) (* 6.0 (* x1 x1)))
36.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) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

localize1.3s (1.2%)

bsearch447.0ms (0.4%)

end1.0ms (0%)

Profiling

Loading profile data...