Date:Thursday, July 2nd, 2020
Commit:47d1d61e on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020184
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 (29.4%)

Algorithm
539×intervals
Results
1.3min2099061×body80valid
26.9s289609×body80invalid
18.2s40388×body1280valid
12.0s41420×body640valid
6.1s89974×body80nan
4.3s22686×body320valid
4.3s5636×body2560valid
1.9s6444×body1280invalid
1.5s11892×body160valid
1.3s6375×body640invalid
550.0ms3873×body320invalid
225.0ms2360×body160invalid
190.0ms1132×body640nan
180.0ms874×body1280nan
97.0ms37×body5120valid
84.0ms682×body320nan
47.0ms846×body80overflowed
31.0ms364×body160nan

prune2.8min (22.3%)

Filtered
85187 candidates to 56788 candidates (33.3%)

analyze1.8min (14.2%)

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

Accuracy

Total 229.7b remaining (41.6%)

Threshold costs 27.9b (5.1%)

17.0b17.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.6b-12.4%Linear.Matrix:det44 from linear-1.19.1.3
11.9b62.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b58.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.9b16.4%Linear.Matrix:det33 from linear-1.19.1.3

simplify1.1min (8.5%)

Algorithm
1433×egg-herbie

series56.5s (7.4%)

Calls

2619 calls:

3.7s
(* (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- t 1.0) a) (* (- y 1.0) z))))) (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- t 1.0) a) (* (- y 1.0) z))))))
516.0ms
(/ (+ x (* y (/ z t))) (* (cbrt (+ a (+ 1.0 (* y (/ b t))))) (cbrt (+ a (+ 1.0 (* y (/ b t)))))))
485.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
481.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
477.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))

rewrite24.2s (3.2%)

Algorithm
894×rewrite-expression-head
Calls

2619 calls:

296.0ms
(* (* (cbrt y) (cbrt y)) (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (* (cbrt y) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))
197.0ms
(* (- 1.0 y) z)
195.0ms
(/ (- x (* y z)) (- t (* a z)))
86.0ms
(* (/ 1 (/ (+ y x) x)) (/ (/ y (+ y x)) (+ x (+ y 1.0))))
58.0ms
(+ x (/ (/ y t) (/ 1 (- z x))))
Rules
31194×*-un-lft-identity
29072×add-sqr-sqrt
27321×times-frac
18978×add-cube-cbrt
12843×add-exp-log
9472×add-cbrt-cube
8345×associate-*r*
7889×associate-*r/
7727×pow1
7184×cbrt-div
6012×cbrt-prod
5024×frac-times
4714×prod-exp
4658×sqrt-prod
4200×associate-*l*
4071×frac-sub
3907×add-log-exp
3558×cbrt-unprod
3243×difference-of-squares
3231×distribute-lft-out--
3095×distribute-lft-out
2666×flip-- flip3--
2659×tanh-def-b tanh-def-a tanh-def-c
2541×pow-prod-down
2499×associate-/r*
2360×div-exp
1974×associate-*l/
1940×associate-/l*
1802×flip-+ flip3-+
1760×associate-/r/
1622×cbrt-undiv
1542×unswap-sqr
1507×div-inv
1030×unpow-prod-down
1003×pow1/3
981×sqrt-div
979×log-prod
924×*-commutative
873×swap-sqr
785×distribute-rgt-in distribute-lft-in
642×sub-neg
600×sqrt-pow1
474×cube-prod
463×clear-num frac-2neg
460×sum-log
433×associate-/l/
382×frac-add
353×1-exp
344×associate-+r+
339×rec-exp
320×pow1/2
303×pow-prod-up
297×+-commutative
276×log-pow
260×diff-log
255×sqr-pow
248×pow-sqr
235×pow-exp
225×associate--l+
185×pow-unpow
181×associate-+l+
161×pow-to-exp
129×exp-prod
110×rem-sqrt-square
103×pow-plus
101×div-sub
98×pow2
88×pow-flip
83×pow-pow
75×inv-pow
72×distribute-lft-neg-in distribute-rgt-neg-in
67×cube-div
60×un-div-inv
55×distribute-rgt-out--
54×cube-mult
52×log-div
48×distribute-rgt-out
47×unpow3
32×rem-log-exp distribute-rgt-neg-out
31×associate-+r- associate-+l- unpow2
28×sub-div
24×neg-mul-1
23×sqrt-unprod rem-cube-cbrt
22×unpow-prod-up sinh-def
19×cosh-def
17×rem-square-sqrt associate--r+
16×unsub-neg
14×rem-cbrt-cube
13×pow-sub
12×distribute-rgt1-in
10×associate--l- exp-sum rem-exp-log
8×distribute-lft1-in cosh-undef difference-of-sqr--1
7×difference-cubes
6×unpow1/3 count-2
5×distribute-frac-neg exp-diff
4×diff-cos associate--r- sin-mult difference-of-sqr-1
3×acos-asin cos-diff cos-sum
2×cube-neg sqrt-pow2 tan-quot cos-mult
1×neg-sub0 sqrt-undiv exp-to-pow

localize9.6s (1.3%)

bsearch3.9s (0.5%)

end5.0ms (0.0%)

Profiling

Loading profile data...