Date:Friday, June 19th, 2020
Commit:f6142ecc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020171
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 (27.2%)

Algorithm
18×intervals
Results
3.2s70198×body80valid
747.0ms4099×body1280valid
119.0ms1433×body80nan
109.0ms2060×body80invalid
0.0ms7×body160valid

simplify3.6s (18.0%)

Algorithm
42×egg-herbie

prune3.3s (16.5%)

Filtered
2478 candidates to 1488 candidates (40.0%)

analyze3.0s (15.0%)

Algorithm
18×search

bsearch1.6s (8.0%)

regimes1.2s (5.9%)

Accuracy

Total 3.7b remaining (21.8%)

Threshold costs 1.0b (5.9%)

1.6b86.8%jeff quadratic root 2
1.1b93.3%jeff quadratic root 1
0.6b63.2%fabs fraction 1
0.4b0%sqrt times
0.0b0%subtraction fraction

series900.0ms (4.5%)

Calls

67 calls:

51.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
38.0ms
(* (sqrt (- x 1.0)) (sqrt x))
35.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
28.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
25.0ms
(/ 2.0 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) c))

rewrite584.0ms (2.9%)

Algorithm
24×rewrite-expression-head
Calls

67 calls:

35.0ms
(log (exp (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))))
19.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
19.0ms
(- (/ 1 (/ y (+ x 4.0))) (* (/ x y) z))
16.0ms
(log (exp (/ (neg (+ f n)) (- f n))))
15.0ms
(pow (/ (neg (+ f n)) (- f n)) 3)
Rules
1407×*-un-lft-identity
1155×times-frac
1074×add-sqr-sqrt
679×add-cube-cbrt
342×cbrt-prod
285×exp-prod
259×distribute-rgt-neg-in
240×distribute-lft-neg-in
213×unpow-prod-down
210×cube-prod
209×log-pow
198×distribute-lft-out
178×difference-of-squares
166×distribute-lft-out--
149×add-exp-log
136×add-cbrt-cube
120×add-log-exp
111×pow1
98×associate-/r*
63×sqrt-prod
62×associate-/l*
60×neg-mul-1
48×associate-*l*
47×associate-/r/
46×flip-- flip3--
38×div-inv
34×sqrt-div
29×div-exp
25×cbrt-undiv cbrt-div
20×flip-+ flip3-+ associate-*l/
18×prod-exp pow-unpow sqrt-pow1 pow1/2 cbrt-unprod
16×rem-sqrt-square associate-*r*
15×diff-log
14×neg-sub0 sub-neg pow-prod-down
12×clear-num associate-/l/ frac-2neg
10×sum-log pow1/3 unswap-sqr
9×neg-log
7×div-sub distribute-frac-neg
6×cube-div log-prod distribute-neg-frac sqr-pow
5×pow-exp +-commutative cube-mult frac-times *-commutative associate-+l- unpow3
4×exp-neg distribute-neg-in rem-exp-log
3×pow-to-exp associate-*r/ pow-pow exp-diff rem-cube-cbrt
2×associate--l- rem-log-exp exp-sum unpow-prod-up log-div frac-sub 1-exp rec-exp rem-cbrt-cube
1×cube-neg e-exp-1 sqrt-unprod inv-pow sub-div log-rec pow-neg pow-flip pow-sub

localize357.0ms (1.8%)

end0.0ms (0.0%)

Profiling

Loading profile data...