Date:Thursday, June 4th, 2020
Commit:db2a7555 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020156
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

sample7.9s (39.2%)

Algorithm
18×intervals
Results
3.5s81914×body80valid
1.1s21969×body80nan
734.0ms4140×body1280valid
0.0ms7×body160valid

prune4.3s (21.7%)

Filtered
1809 candidates to 3138 candidates (-73.5%)

simplify4.2s (20.8%)

Algorithm
46×egg-herbie

regimes1.3s (6.3%)

Accuracy

Total 2.8b remaining (14.7%)

Threshold costs 1.5b (8%)

1.3b90.1%jeff quadratic root 2
1.0b91.6%jeff quadratic root 1
0.3b0%sqrt times
0.1b92.5%fabs fraction 1
0.1b0%neg log

series1.1s (5.3%)

Calls

73 calls:

32.0ms
(* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))
30.0ms
(/ (* x (* (cbrt z) (cbrt z))) y)
28.0ms
(* (sqrt (- x 1.0)) (sqrt x))
27.0ms
(* (/ x y) (* (cbrt z) (cbrt z)))
27.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite803.0ms (4.0%)

Algorithm
28×rewrite-expression-head
Calls

73 calls:

91.0ms
(* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))
32.0ms
(log (exp (pow (/ (neg (+ f n)) (- f n)) 3)))
30.0ms
(exp (pow (/ (neg (+ f n)) (- f n)) 3))
20.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
19.0ms
(pow (/ (neg (+ f n)) (- f n)) 3)
Rules
2129×*-un-lft-identity
1517×add-sqr-sqrt
1513×times-frac
837×add-cube-cbrt
644×cbrt-prod
518×distribute-rgt-neg-in
490×distribute-lft-neg-in
397×unpow-prod-down
330×cube-prod
320×exp-prod
313×distribute-lft-out--
288×difference-of-squares
278×distribute-lft-out
188×add-exp-log
172×associate-*r*
158×pow1
149×swap-sqr
144×add-cbrt-cube log-pow
117×associate-*l*
115×neg-mul-1
113×add-log-exp
85×flip-- flip3--
81×associate-/l*
77×cbrt-div
74×sqrt-prod
68×sqrt-div
48×log-prod
43×prod-exp
40×pow-unpow associate-/r/
39×associate-/r*
38×sqrt-pow1 unswap-sqr
35×cbrt-unprod
32×sqr-pow
31×div-exp
29×frac-times
28×pow1/3 div-inv
26×associate-*l/
24×pow-prod-down unpow2
23×cbrt-undiv pow1/2
21×associate-+l+ pow-pow
19×rem-sqrt-square
16×associate-/l/
14×pow-exp
13×neg-sub0 associate-*r/
12×flip-+ flip3-+ distribute-neg-frac
11×pow-to-exp sub-neg distribute-frac-neg pow-prod-up
10×associate-+r+ sum-log
9×distribute-rgt-in clear-num distribute-lft-in diff-log frac-2neg rem-exp-log
8×distribute-neg-in *-commutative
7×log-div pow-plus neg-log
6×exp-sum unpow-prod-up div-sub
5×cube-neg exp-neg cube-mult pow-sqr unpow3
4×+-commutative rem-cube-cbrt
3×cube-div rem-log-exp pow2 pow-sub
2×frac-sub associate-+r- distribute-rgt-out sub-div pow-neg associate-+l- exp-diff
1×associate--l- e-exp-1 distribute-lft1-in sqrt-unprod log-rec pow3 rem-cbrt-cube

localize386.0ms (1.9%)

bsearch142.0ms (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...