Date:Friday, July 17th, 2020
Commit:5d628957 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020199
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

sample5.4s (32.7%)

Algorithm
18×intervals
Results
3.1s70116×body80valid
758.0ms4178×body1280valid
122.0ms1403×body80nan
116.0ms2027×body80invalid
1.0ms10×body160valid

simplify3.8s (22.9%)

Algorithm
42×egg-herbie

prune2.5s (15.1%)

Filtered
1598 candidates to 1116 candidates (30.2%)

analyze1.9s (11.4%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14

regimes1.2s (7.4%)

Accuracy

Total 3.9b remaining (26.7%)

Threshold costs 0.5b (3.6%)

2.4b84.6%jeff quadratic root 1
1.0b93.2%jeff quadratic root 2
0.4b0%sqrt times
0.1b97.6%fabs fraction 1
0.0b0%subtraction fraction

series825.0ms (5.0%)

Calls

58 calls:

53.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
50.0ms
(* (* 2.0 c) (/ 1 (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)))
49.0ms
(/ c (- (neg b) (sqrt (- (* b b) (* c (* 4.0 a))))))
46.0ms
(* c (/ -1 (+ b (sqrt (- (* b b) (* c (* 4.0 a)))))))
23.0ms
(sqrt (- (* b b) (* c (* 4.0 a))))

rewrite452.0ms (2.7%)

Algorithm
24×rewrite-expression-head
Calls

58 calls:

21.0ms
(/ (+ f n) (- n f))
15.0ms
(* (* 2.0 c) (/ 1 (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)))
13.0ms
(* c (/ -1 (+ b (sqrt (- (* b b) (* c (* 4.0 a)))))))
11.0ms
(- (/ (+ x 4.0) y) (* (/ x y) z))
11.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
Rules
634×*-un-lft-identity
522×add-sqr-sqrt
450×times-frac
326×add-cube-cbrt
160×add-exp-log
140×add-cbrt-cube
108×associate-*r*
104×add-log-exp
98×pow1
85×distribute-lft-out
74×difference-of-squares
69×distribute-lft-out--
68×associate-/r*
56×exp-prod
53×sqrt-prod
45×associate-/l*
40×associate-*l*
36×flip-- flip3--
31×div-exp associate-/r/
30×pow-unpow
29×prod-exp
28×log-pow
26×div-inv
25×cbrt-undiv
24×sqrt-div
23×cbrt-unprod
18×flip-+ flip3-+ associate-/l/
17×sub-neg unswap-sqr
15×associate-*r/ diff-log
14×sqrt-pow1 pow-prod-down
13×pow1/2
12×clear-num distribute-rgt-neg-in frac-2neg
10×rem-sqrt-square log-prod
9×*-commutative unpow-prod-down
7×sum-log
6×pow-exp
5×rem-log-exp associate-*l/
4×neg-sub0 +-commutative 1-exp neg-log rec-exp
3×cbrt-prod pow-to-exp e-exp-1 cbrt-div pow1/3 div-sub associate-+l- sqr-pow rem-exp-log
2×frac-sub sub-div pow-pow
1×associate--l- exp-sum distribute-rgt-in unpow-prod-up associate-+r- distribute-lft-in sqrt-unprod inv-pow un-div-inv pow-flip exp-diff pow-sub

localize310.0ms (1.9%)

bsearch156.0ms (0.9%)

end0.0ms (0.0%)

Profiling

Loading profile data...