Date:Monday, June 29th, 2020
Commit:9427dca4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020181
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.7s (28.2%)

Algorithm
18×intervals
Results
3.4s70160×body80valid
754.0ms4139×body1280valid
117.0ms1992×body80invalid
114.0ms1384×body80nan
0.0ms5×body160valid

simplify3.5s (17.3%)

Algorithm
44×egg-herbie

prune3.3s (16.3%)

Filtered
2318 candidates to 1481 candidates (36.1%)

analyze3.0s (15.1%)

Algorithm
18×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

bsearch1.6s (7.9%)

regimes1.3s (6.4%)

Accuracy

Total 2.6b remaining (19.3%)

Threshold costs 2.6b (19.3%)

1.0b93%jeff quadratic root 2
0.9b93.4%jeff quadratic root 1
0.5b0%sqrt times
0.2b91.2%fabs fraction 1
0.0b0%subtraction fraction

series852.0ms (4.2%)

Calls

66 calls:

27.0ms
(/ (* 2.0 c) (- (neg b) (- b (* 2.0 (* c (/ a b))))))
26.0ms
(/ (* 2.0 c) (- (neg b) (- b (* 2.0 (* c (/ a b))))))
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
21.0ms
(cbrt y)
21.0ms
(cbrt y)

rewrite552.0ms (2.8%)

Algorithm
26×rewrite-expression-head
Calls

66 calls:

20.0ms
(* (sqrt (* (sqrt (- x 1.0)) (sqrt x))) (sqrt (* (sqrt (- x 1.0)) (sqrt x))))
19.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
16.0ms
(log (exp (/ (neg (+ f n)) (- f n))))
15.0ms
(pow (/ (neg (+ f n)) (- f n)) 3)
14.0ms
(* (cbrt (/ x y)) (cbrt (/ x y)))
Rules
1134×*-un-lft-identity
939×add-sqr-sqrt
857×times-frac
556×add-cube-cbrt
250×cbrt-prod
204×add-exp-log
203×distribute-rgt-neg-in
192×distribute-lft-neg-in
190×pow1
150×add-cbrt-cube
149×distribute-lft-out-- difference-of-squares
140×distribute-lft-out
139×exp-prod
135×unpow-prod-down
132×cube-prod
117×add-log-exp
97×sqrt-prod
86×sqrt-pow1
76×associate-*l* associate-*r*
68×sqrt-div log-pow
63×associate-/r*
59×prod-exp
58×pow-prod-down
54×associate-/l*
51×pow1/2
49×flip-- flip3--
48×neg-mul-1
36×div-exp
33×associate-/r/ cbrt-unprod
30×div-inv unswap-sqr
26×cbrt-undiv
25×associate-*l/
20×swap-sqr
18×rem-sqrt-square flip-+ flip3-+
16×associate-*r/ pow-prod-up
15×neg-sub0
13×sum-log pow1/3
12×log-prod diff-log associate-/l/
11×*-commutative
10×sub-neg neg-log pow-sqr
9×clear-num frac-2neg
8×cbrt-div
7×+-commutative distribute-frac-neg
6×pow-unpow 1-exp div-sub frac-times rec-exp distribute-neg-frac
5×associate-+l- pow-pow
4×associate--l- log-div sqrt-unprod
3×distribute-rgt-in exp-neg pow-exp associate-+l+ distribute-lft-in exp-diff sqr-pow rem-exp-log
2×cube-div rem-log-exp pow2 pow-to-exp associate-+r+ frac-sub pow-plus sub-div cube-mult unpow3 rem-cube-cbrt
1×exp-sum cube-neg associate-+r- rem-square-sqrt unsub-neg log-rec rem-cbrt-cube

localize366.0ms (1.8%)

end0.0ms (0.0%)

Profiling

Loading profile data...