Date:Saturday, June 27th, 2020
Commit:6b86a4bc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020179
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

sample8.8min (30.5%)

Algorithm
820×intervals
Results
1.9min2856697×body80valid
1.7min192348×body1280valid
1.2min14962×body5120exit
40.8s138903×body640valid
27.6s318316×body80invalid
24.5s30495×body2560valid
15.0s82474×body320valid
8.2s67544×body160valid
7.7s18560×body1280invalid
7.2s106105×body80nan
5.6s266687×pre80true
4.4s16163×body640invalid
3.3s1871×body1280overflowed
3.0s7177×body1280nan
2.4s14092×body80overflowed
1.6s1435×body640overflowed
1.5s8215×body320invalid
1.5s5381×body640nan
643.0ms1345×body5120valid
639.0ms3096×body2560nan
567.0ms4554×body160invalid
519.0ms2773×body320nan
467.0ms732×body320overflowed
129.0ms1177×body160nan
128.0ms377×body160overflowed
102.0ms163×body2560overflowed
92.0ms54×body2560invalid
2.0ms124×pre80false
2.0ms1×body5120nan

analyze6.0min (20.7%)

Algorithm
820×search
Search
TrueOtherFalseIter
0%94.3%5.7%0
3.2%91.1%5.7%1
6.3%87.4%6.3%2
14.7%77.7%7.6%3
20%70.4%9.6%4
27.6%61.8%10.6%5
32.5%55.2%12.2%6
38.4%47.6%14%7
41.9%43.1%15%8
46%37.8%16.2%9
49.1%33.5%17.4%10
51.8%30%18.2%11
54%27.1%18.9%12
56.4%23.9%19.7%13
57.9%22.1%20.1%14

prune4.7min (16.0%)

Filtered
132708 candidates to 86586 candidates (34.8%)

bsearch3.4min (11.6%)

regimes2.2min (7.5%)

Accuracy

Total 382.2b remaining (35.7%)

Threshold costs 51.5b (4.8%)

20.7b3.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.2b-8.9%Linear.Matrix:det44 from linear-1.19.1.3
11.5b62%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.9b55.4%math.log10 on complex, real part
10.9b56.8%math.log/2 on complex, real part

simplify1.5min (5.3%)

Algorithm
2189×egg-herbie

series1.5min (5.2%)

Calls

4136 calls:

1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)
1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
631.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (pow (exp a) eps) 1.0) (+ (* b eps) (* b (* b (* (* eps eps) (+ (* (* b 1/6) eps) 1/2)))))))
551.0ms
(/ (+ 2.0 (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))))) (* 3.0 (+ 1.0 (/ (/ (+ (* (cos x) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (- 5.0 (* 1.0 1.0)))) (* (cos y) (* (- (pow 3.0 3) (* 5.0 (sqrt 5.0))) (+ (sqrt 5.0) 1.0)))) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (+ (sqrt 5.0) 1.0))) 2.0))))

rewrite39.2s (2.3%)

Algorithm
1370×rewrite-expression-head
Calls

4136 calls:

1.2s
(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5))))
217.0ms
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ alpha (+ beta (* 1.0 2.0))) (sqrt (+ alpha (+ beta (+ (* alpha beta) 1.0)))))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
192.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
165.0ms
(/ (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (neg z)))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))) 0.9999999999998099))))) (exp (+ 7.0 0.5)))
71.0ms
(+ 0.254829592 (+ (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2)) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))
Rules
56768×*-un-lft-identity
52271×times-frac
46746×add-sqr-sqrt
32399×add-cube-cbrt
19590×add-exp-log
14208×add-cbrt-cube
12130×sqrt-prod
11421×pow1
10469×associate-*r*
9308×distribute-lft-out
7805×associate-*r/
7291×cbrt-prod
6975×frac-times
6784×prod-exp
6750×associate-*l*
6294×add-log-exp
5861×flip--
5860×flip3--
5030×associate-*l/
4628×cbrt-unprod
4363×difference-of-squares
4043×div-exp
4042×associate-/l*
3924×cbrt-div
3920×associate-/r*
3813×distribute-lft-out--
3772×flip-+
3771×flip3-+
3271×sqrt-div
3246×pow-prod-down
2912×associate-/r/
2875×unpow-prod-down
2472×frac-add
2444×cbrt-undiv
2323×unswap-sqr
2173×div-inv
1671×log-prod
1311×*-commutative
1243×pow1/3
1222×swap-sqr
1021×cube-prod
1010×pow-exp
976×distribute-rgt-in distribute-lft-in
955×sub-neg
914×sqrt-pow1
854×log-pow
797×sqr-pow
746×associate-/l/
742×clear-num frac-2neg
740×exp-prod
719×sum-log
713×pow-to-exp
599×pow1/2
560×pow-unpow
488×pow-prod-up
481×1-exp
480×rec-exp
460×diff-log
438×+-commutative
373×pow-sqr
368×associate-+r+
345×frac-sub
343×pow-pow
333×distribute-rgt-neg-in
329×associate--l+
241×rem-sqrt-square
189×div-sub
187×exp-sum
178×log-div
176×pow-plus
160×pow2
156×associate-+l+
142×pow-flip
139×cube-div
135×cube-mult unpow3
126×rem-log-exp
111×inv-pow
108×tan-quot
105×cos-mult
103×unpow2
88×neg-sub0
87×distribute-lft-neg-in distribute-rgt-neg-out
83×associate-+r-
77×un-div-inv
72×rem-cube-cbrt
71×tanh-def-b tanh-def-a tanh-def-c
63×sum-cubes
60×associate-+l-
57×neg-log
55×sin-mult
54×exp-diff
50×associate--r+
44×sqrt-unprod
40×rem-exp-log
38×associate--l-
37×distribute-rgt-out unsub-neg
36×sinh-def
32×rem-cbrt-cube
27×rem-square-sqrt
24×distribute-neg-frac
23×pow-sub
22×cos-diff sub-div pow-neg difference-of-sqr-1
21×unpow-prod-up
20×neg-mul-1
19×distribute-rgt-out--
17×sin-diff
16×cosh-def
15×cos-sum distribute-rgt1-in
13×associate--r-
12×acos-asin sin-sum
11×diff-cos
10×unpow1/3
9×distribute-neg-in sqrt-pow2 distribute-frac-neg
8×difference-cubes
7×distribute-lft1-in sin-cos-mult
6×distribute-lft-neg-out count-2
5×acos-neg sqr-cos-a
4×tan-sum sqrt-undiv
3×exp-to-pow pow3
2×exp-neg e-exp-1 remove-double-div pow-div
1×tanh-undef diff-sin log-rec diff-atan asin-acos

localize16.0s (0.9%)

end16.0ms (0.0%)

Profiling

Loading profile data...