Date:Tuesday, July 14th, 2020
Commit:0946c439 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020196
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

sample3.7min (31.1%)

Algorithm
539×intervals
Results
1.3min2098969×body80valid
26.6s286789×body80invalid
18.6s40546×body1280valid
12.4s41713×body640valid
6.5s88554×body80nan
4.4s5629×body2560valid
4.3s22294×body320valid
2.0s6654×body1280invalid
1.5s11917×body160valid
1.4s6546×body640invalid
551.0ms3779×body320invalid
223.0ms2245×body160invalid
189.0ms1091×body640nan
185.0ms863×body1280nan
140.0ms52×body5120valid
83.0ms651×body320nan
48.0ms846×body80overflowed
35.0ms379×body160nan

prune2.0min (17.2%)

Filtered
84489 candidates to 56417 candidates (33.2%)

analyze1.9min (15.9%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14

regimes1.6min (13.9%)

Accuracy

Total 217.9b remaining (40%)

Threshold costs 25.3b (4.6%)

15.8b3.4%Linear.Matrix:det44 from linear-1.19.1.3
15.3b16.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.4b60.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.7b58.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.9b26.5%Linear.Matrix:det33 from linear-1.19.1.3

simplify1.0min (8.6%)

Algorithm
1443×egg-herbie

series56.8s (8.0%)

Calls

2647 calls:

463.0ms
(cbrt (+ (pow (* x y) 3) (pow (+ (* t (/ z 16.0)) (- c (* b (/ a 4.0)))) 3)))
449.0ms
(cbrt (+ (pow (* x y) 3) (pow (+ (* t (/ z 16.0)) (- c (* b (/ a 4.0)))) 3)))
403.0ms
(/ (* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (tanh (/ t y)) (tanh (/ x y))))
370.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
360.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))

rewrite23.6s (3.3%)

Algorithm
904×rewrite-expression-head
Calls

2647 calls:

72.0ms
(/ (* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y)))))) (+ (tanh (/ t y)) (tanh (/ x y))))
72.0ms
(* (/ (sqrt 0.5) 1) (+ (/ 1 (/ y (sqrt 0.5))) (/ (sqrt 0.5) x)))
66.0ms
(* (/ 1 (* (cbrt (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)) (cbrt (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771)))) (/ (+ (* z (+ (* z (+ (* z (+ (* z 3.13060547623) 11.1667541262)) t)) a)) b) (cbrt (+ (* z (+ (* z (+ (* z (+ z 15.234687407)) 31.4690115749)) 11.9400905721)) 0.607771387771))))
56.0ms
(* y (* z (- (* (tanh (/ t y)) (tanh (/ t y))) (* (tanh (/ x y)) (tanh (/ x y))))))
54.0ms
(* (- y z) (/ (/ (- t x) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (- a z))))
Rules
31052×*-un-lft-identity
30192×add-sqr-sqrt
28521×times-frac
19407×add-cube-cbrt
11816×add-exp-log
9114×add-cbrt-cube
7856×cbrt-prod
7693×associate-*r*
7012×pow1
4249×associate-*r/
4051×associate-*l*
3996×sqrt-prod
3863×add-log-exp
3861×cbrt-div
3808×prod-exp
3577×difference-of-squares
3445×distribute-lft-out--
3062×cbrt-unprod
3023×frac-times
2494×distribute-lft-out
2426×div-exp
2399×associate-*l/
2374×associate-/r*
2227×associate-/r/
2211×flip-+ flip3-+
2207×associate-/l*
2153×pow-prod-down
2106×flip-- flip3--
2028×unpow-prod-down
1571×cbrt-undiv
1563×div-inv
1491×unswap-sqr
1222×log-prod
1039×pow1/3
941×distribute-rgt-in distribute-lft-in
912×frac-sub
898×cube-prod
892×swap-sqr
865×*-commutative
786×tanh-def-b tanh-def-a tanh-def-c
696×associate-/l/
611×sub-neg
527×sqrt-div
469×sum-log
463×clear-num frac-2neg
403×sqr-pow
385×associate-+r+
377×sqrt-pow1
315×frac-add
314×1-exp
311×rec-exp
304×+-commutative
267×pow-exp
225×pow-unpow associate-+l+ pow-prod-up
220×pow1/2
212×pow-to-exp
208×diff-log
192×pow-sqr
180×pow-pow
162×associate--l+
157×exp-prod
145×log-pow
131×cube-div
106×div-sub
100×rem-sqrt-square pow-flip
88×pow-plus cube-mult
85×pow2
82×unpow3
74×log-div
69×inv-pow
64×un-div-inv
57×associate--r+
55×rem-log-exp
54×distribute-rgt-neg-out
47×distribute-rgt-neg-in
45×distribute-lft-neg-in
42×rem-cube-cbrt
40×sinh-def
34×exp-sum
33×associate-+r-
24×unsub-neg
22×cosh-def rem-cbrt-cube unpow2
21×distribute-rgt-out--
18×sin-mult
17×distribute-rgt-out sqrt-unprod cos-mult
16×associate-+l-
14×associate--r-
12×neg-mul-1
11×unpow-prod-up rem-square-sqrt sub-div rem-exp-log
8×sum-cubes exp-diff
7×difference-cubes tan-quot
6×difference-of-sqr--1 pow-sub
5×distribute-lft1-in unpow1/3 count-2 sqr-cos-a distribute-rgt1-in
4×diff-cos
3×associate--l- cos-diff
2×neg-sub0 e-exp-1 sqrt-pow2 distribute-frac-neg
1×cos-sum sqrt-undiv exp-to-pow pow-div

localize10.0s (1.4%)

bsearch3.4s (0.5%)

end4.0ms (0.0%)

Profiling

Loading profile data...