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.4%)

Algorithm
820×intervals
Results
1.9min2856697×body80valid
1.7min192348×body1280valid
1.2min14962×body5120exit
41.4s138903×body640valid
27.1s318316×body80invalid
24.7s30495×body2560valid
15.4s82474×body320valid
8.4s67544×body160valid
8.0s18560×body1280invalid
7.3s106105×body80nan
5.7s266687×pre80true
4.4s16163×body640invalid
3.3s1871×body1280overflowed
3.1s7177×body1280nan
2.5s14092×body80overflowed
1.6s1435×body640overflowed
1.6s8215×body320invalid
1.5s5381×body640nan
757.0ms4554×body160invalid
645.0ms1345×body5120valid
630.0ms3096×body2560nan
522.0ms2773×body320nan
474.0ms732×body320overflowed
131.0ms377×body160overflowed
129.0ms1177×body160nan
102.0ms163×body2560overflowed
92.0ms54×body2560invalid
2.0ms124×pre80false
2.0ms1×body5120nan

analyze6.0min (20.6%)

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.8min (16.4%)

Filtered
132641 candidates to 86538 candidates (34.8%)

bsearch3.3min (11.4%)

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

series1.5min (5.3%)

Calls

4133 calls:

1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)
1.6s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
1.4s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
635.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)))))))
563.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))))

simplify1.5min (5.2%)

Algorithm
2189×egg-herbie

rewrite38.9s (2.2%)

Algorithm
1370×rewrite-expression-head
Calls

4133 calls:

1.1s
(/ (+ 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))))
211.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))
210.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
199.0ms
(* (/ x (+ y x)) (/ 1 (* (/ (+ y x) y) (+ y (+ x 1.0)))))
197.0ms
(* (+ t y) a)
Rules
56776×*-un-lft-identity
52274×times-frac
46751×add-sqr-sqrt
32399×add-cube-cbrt
19606×add-exp-log
14219×add-cbrt-cube
12127×sqrt-prod
11426×pow1
10469×associate-*r*
9308×distribute-lft-out
8202×associate-*r/
7296×cbrt-prod
6911×frac-times
6796×prod-exp
6757×associate-*l*
6289×add-log-exp
5767×flip--
5766×flip3--
4635×cbrt-unprod
4366×difference-of-squares
4045×div-exp associate-/l*
3926×cbrt-div
3921×associate-/r*
3816×distribute-lft-out--
3769×flip-+
3768×flip3-+
3654×associate-*l/
3252×pow-prod-down
3205×sqrt-div
2912×associate-/r/
2875×unpow-prod-down
2446×cbrt-undiv
2407×frac-add
2323×unswap-sqr
2174×div-inv
1671×log-prod
1312×*-commutative
1244×pow1/3
1222×swap-sqr
1021×cube-prod
1010×pow-exp
976×distribute-rgt-in distribute-lft-in
957×sub-neg
913×sqrt-pow1
854×log-pow
797×sqr-pow
746×associate-/l/
743×clear-num frac-2neg
740×exp-prod
717×sum-log
713×pow-to-exp
598×pow1/2
560×pow-unpow
488×pow-prod-up
483×1-exp
480×rec-exp
461×diff-log
437×+-commutative
373×pow-sqr
368×associate-+r+
345×frac-sub
343×pow-pow
333×distribute-rgt-neg-in
328×associate--l+
240×rem-sqrt-square
189×div-sub
187×exp-sum
178×log-div
176×pow-plus
160×pow2
157×associate-+l+
142×pow-flip
139×cube-div
135×cube-mult unpow3
126×rem-log-exp
111×inv-pow
108×tan-quot
104×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
54×exp-diff
52×sin-mult
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.3s (0.9%)

end17.0ms (0.0%)

Profiling

Loading profile data...