Date:Friday, July 3rd, 2020
Commit:8652dc03 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020185
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.6min (24.9%)

Algorithm
538×intervals
Results
1.2min2090466×body80valid
25.9s284486×body80invalid
18.7s40482×body1280valid
12.4s42021×body640valid
6.5s89898×body80nan
4.4s22614×body320valid
4.3s5631×body2560valid
2.1s6923×body1280invalid
1.5s11869×body160valid
1.4s6798×body640invalid
586.0ms3916×body320invalid
230.0ms2264×body160invalid
190.0ms1083×body640nan
186.0ms863×body1280nan
101.0ms37×body5120valid
90.0ms700×body320nan
49.0ms867×body80overflowed
29.0ms328×body160nan

series3.4min (23.9%)

Calls

2614 calls:

2.2s
(* (cbrt (+ (* (+ y (- t 2.0)) b) (+ (* z (- 1.0 y)) (* a (- 1.0 t))))) (cbrt (+ (* (+ y (- t 2.0)) b) (+ (* z (- 1.0 y)) (* a (- 1.0 t))))))
1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)
1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)
613.0ms
(* (+ (* x y) (* z (- t a))) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (+ y (* z (- b y)))) (cbrt (+ y (* z (- b y))))))))
498.0ms
(/ (- (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))) (* 2.0 (- a (/ 5.0 6.0))))))) (* t (* t (* 3.0 (- a (/ 5.0 6.0))))))

prune2.3min (15.8%)

Filtered
82433 candidates to 55107 candidates (33.1%)

analyze1.8min (12.6%)

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 (11.4%)

Accuracy

Total 213.8b remaining (40.1%)

Threshold costs 30.2b (5.7%)

16.1b11.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.0b14.8%Linear.Matrix:det44 from linear-1.19.1.3
12.5b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.1b57.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.3b27.6%Data.Colour.Matrix:determinant from colour-2.3.3, A

simplify1.0min (7.2%)

Algorithm
1433×egg-herbie

rewrite23.4s (2.7%)

Algorithm
896×rewrite-expression-head
Calls

2617 calls:

108.0ms
(* (/ 1 (/ (+ x y) x)) (/ (/ y (+ y x)) (+ x (+ y 1.0))))
107.0ms
(* y (/ (/ 1 (- z a)) (/ 1 (- z t))))
80.0ms
(* x (- (/ y z) (/ (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (cbrt (- 1.0 z)))))
61.0ms
(/ (- (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))) (* 2.0 (- a (/ 5.0 6.0))))))) (* t (* t (* 3.0 (- a (/ 5.0 6.0))))))
57.0ms
(* (* y (* (cbrt (- z t)) (* (cbrt (- z t)) (* (cbrt (/ (cbrt (- z t)) (- z a))) (cbrt (/ (cbrt (- z t)) (- z a))))))) (cbrt (/ (cbrt (- z t)) (- z a))))
Rules
29650×*-un-lft-identity
28572×add-sqr-sqrt
26509×times-frac
18776×add-cube-cbrt
11311×add-exp-log
8807×add-cbrt-cube
7983×associate-*r*
7182×pow1
7105×cbrt-prod
5914×associate-*r/
4617×sqrt-prod
4167×associate-*l*
3875×add-log-exp
3660×prod-exp
3331×cbrt-div
3083×flip-- flip3--
2943×difference-of-squares
2941×cbrt-unprod
2929×frac-times
2899×distribute-lft-out
2812×distribute-lft-out--
2527×flip-+ flip3-+
2513×associate-*l/
2316×associate-/r*
2239×div-exp
2180×pow-prod-down
1776×associate-/l*
1664×associate-/r/
1612×frac-add
1547×unpow-prod-down
1476×unswap-sqr
1473×sqrt-div
1451×div-inv
1445×cbrt-undiv
1159×pow1/3
1095×log-prod
978×distribute-rgt-in distribute-lft-in
927×frac-sub
891×swap-sqr
876×*-commutative
625×sub-neg
592×associate-/l/
505×sum-log
446×clear-num frac-2neg
401×sqrt-pow1
400×associate-+r+
364×cube-prod
332×pow-prod-up
324×+-commutative
312×distribute-rgt-out
302×sqr-pow
279×1-exp
277×rec-exp
268×associate-+l+ pow-sqr
248×log-pow
245×pow1/2
233×pow-exp
219×exp-prod
214×tanh-def-b tanh-def-a tanh-def-c
195×diff-log associate--l+
192×pow-to-exp
152×pow-unpow
126×pow-plus
115×pow2
97×pow-pow
93×rem-sqrt-square
89×div-sub
82×pow-flip
76×cube-div
66×inv-pow
64×distribute-lft1-in distribute-rgt1-in
61×un-div-inv
60×log-div
59×distribute-rgt-neg-out
50×associate-+r-
47×associate--r+
42×rem-log-exp
36×cube-mult unpow3
35×count-2
30×distribute-neg-frac
26×rem-cube-cbrt
25×unsub-neg
22×distribute-rgt-out--
21×unpow2
19×sqrt-unprod rem-exp-log
18×cosh-def difference-of-sqr--1
17×sinh-def
15×distribute-lft-neg-in rem-square-sqrt distribute-rgt-neg-in associate-+l- rem-cbrt-cube
13×sum-cubes
12×exp-sum
10×sub-div
7×difference-cubes
6×associate--l- unpow-prod-up
5×neg-mul-1 tan-quot exp-diff
4×diff-cos sin-mult
3×cos-diff sqrt-pow2 associate--r- pow-sub pow-div
2×distribute-lft-neg-out e-exp-1 unpow1/3 cosh-undef cos-mult
1×cos-sum exp-to-pow pow3 remove-double-div

localize9.6s (1.1%)

bsearch2.8s (0.3%)

end5.0ms (0.0%)

Profiling

Loading profile data...