Date:Friday, June 5th, 2020
Commit:08f7e9a2 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020157
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

sample2.7m (91.9%)

Algorithm
21×intervals
Results
3.1s6703×body1280valid
2.8s72215×body80valid
1.3s4603×body640valid
448.0ms2067×body320valid
278.0ms16512×pre80true
159.0ms1017×body160valid

simplify4.9s (2.8%)

Algorithm
54×egg-herbie

prune4.3s (2.4%)

Filtered
1528 candidates to 2365 candidates (-54.8%)

series2.3s (1.3%)

Calls

86 calls:

81.0ms
(* (pow c 2.0) (* (* x (pow s 2.0)) x))
80.0ms
(sqrt (* 2.0 (pow x 2.0)))
79.0ms
(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))
76.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x)))
73.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))

regimes1.7s (1.0%)

Accuracy

Total 4.8b remaining (91.5%)

Threshold costs 2.3b (43.3%)

2.6b0%mixedcos
0.4b0%sqrt D
0.4b0%sqrt A
0.4b0%sqrt C
0.3b0%rsin A

rewrite554.0ms (0.3%)

Algorithm
34×rewrite-expression-head
Calls

86 calls:

13.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
13.0ms
(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))
12.0ms
(* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))))
11.0ms
(* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
11.0ms
(* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
Rules
939×add-exp-log
615×prod-exp
542×add-sqr-sqrt
431×*-un-lft-identity
397×add-cube-cbrt
333×add-cbrt-cube
286×times-frac
220×pow1
197×associate-*l*
192×associate-*r*
139×cbrt-unprod
136×pow-to-exp pow-exp
129×sqrt-prod
100×add-log-exp
88×div-exp
83×cbrt-prod
78×unpow-prod-down
72×pow-prod-down
60×unswap-sqr
51×associate-/r* associate-/l*
44×*-commutative
36×sin-mult
35×cbrt-undiv associate-/r/
32×cos-mult
28×sqr-pow
27×div-inv
17×flip-- flip3--
16×distribute-rgt-out
15×frac-sub clear-num sub-div frac-2neg
14×distribute-lft-out
12×distribute-lft-out-- difference-of-squares
11×sqrt-pow1 pow1/3
9×pow1/2
7×associate-/l/
6×rem-sqrt-square sub-neg sqrt-div diff-log
4×associate-*r/ flip-+ flip3-+ count-2
3×distribute-lft1-in 1-exp swap-sqr distribute-rgt1-in rec-exp
2×cos-sum div-sub
1×pow2 +-commutative sum-log pow-plus sqrt-unprod inv-pow pow-sqr un-div-inv pow-prod-up pow-flip

localize351.0ms (0.2%)

bsearch34.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...