Date:Wednesday, June 10th, 2020
Commit:333f73e0 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020162
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample4.9min (42.9%)

Algorithm
540×intervals
Results
1.8min2662214×body80valid
29.2s463287×body80nan
19.7s47557×body1280valid
13.3s48432×body640valid
4.8s26495×body320valid
4.0s5595×body2560valid
1.7s14304×body160valid
178.0ms1057×body640nan
170.0ms841×body1280nan
116.0ms44×body5120valid
88.0ms1594×body80overflowed
83.0ms675×body320nan
32.0ms357×body160nan

prune2.1min (18.8%)

Filtered
85105 candidates to 56132 candidates (34.0%)

regimes1.7min (14.8%)

Accuracy

Total 205.6b remaining (36.4%)

Threshold costs 24.0b (4.3%)

11.7b62%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.2b8.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.8b-13.5%Linear.Matrix:det44 from linear-1.19.1.3
9.6b59.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.1b-5.7%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

simplify1.2min (10.6%)

Algorithm
1430×egg-herbie

series53.9s (7.9%)

Calls

2508 calls:

2.0s
(pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3)
623.0ms
(cbrt (* (log (- 1.0 (/ y x))) (log (- 1.0 (/ y x)))))
610.0ms
(* (* (cbrt (- y z)) (/ (cbrt (- y z)) (- (+ t 1.0) z))) (- a x))
557.0ms
(* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))
361.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))

rewrite22.3s (3.2%)

Algorithm
890×rewrite-expression-head
Calls

2508 calls:

93.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
85.0ms
(/ (/ (/ (/ (* x (* (pow a (- t 1.0)) (pow z y))) (exp b)) (cbrt y)) (cbrt y)) (cbrt y))
68.0ms
(* x (/ (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))))) y))
65.0ms
(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
61.0ms
(* (/ (sqrt (+ x y)) (+ (sqrt x) (sqrt y))) (/ (sqrt (+ x y)) (- (sqrt x) (sqrt y))))
Rules
36986×times-frac
33004×*-un-lft-identity
32572×add-sqr-sqrt
22795×add-cube-cbrt
11027×add-exp-log
8867×add-cbrt-cube
7738×cbrt-prod
7218×pow1
6598×associate-*r*
5204×sqrt-prod
4123×associate-*l*
3848×add-log-exp
3824×cbrt-div
3357×prod-exp
3236×difference-of-squares
3167×distribute-lft-out--
3034×associate-*r/
2976×associate-/r*
2858×cbrt-unprod
2798×flip-- flip3--
2771×frac-times
2522×associate-/l*
2279×div-exp
2183×pow-prod-down
2121×distribute-lft-out
2044×associate-*l/
1932×div-inv
1741×flip-+ flip3-+
1702×cbrt-undiv
1635×associate-/r/
1512×log-prod
1495×unpow-prod-down
1444×unswap-sqr
1211×distribute-rgt-in distribute-lft-in
1172×sqrt-div
922×swap-sqr
908×pow1/3
845×frac-sub
817×*-commutative
696×sub-neg
618×associate-/l/
572×cube-prod
569×sqrt-pow1
500×clear-num frac-2neg
467×sum-log
373×associate-+l+
372×pow-prod-up
345×associate-+r+
330×pow1/2 associate--l+
298×log-pow sqr-pow
285×diff-log
282×pow-sqr
280×+-commutative
254×tanh-def
249×1-exp
225×rec-exp
224×frac-add
161×exp-sum
152×pow-exp exp-prod
141×pow-plus
119×cube-div
117×rem-sqrt-square
115×pow-to-exp
114×pow-unpow
111×pow2
106×div-sub
103×unpow2
80×log-div
70×pow-pow
66×associate--r+
65×pow-flip
62×distribute-lft-neg-out
60×un-div-inv
58×inv-pow
56×rem-log-exp
54×cube-mult unpow3
52×log-rec
44×associate-+r-
38×associate-+l-
36×sinh-def exp-diff
32×unsub-neg
30×distribute-rgt-neg-out rem-cube-cbrt
25×sqrt-unprod
20×distribute-rgt-out
18×cosh-def rem-cbrt-cube distribute-rgt-out--
17×rem-square-sqrt
16×diff-cos distribute-neg-out
14×distribute-lft-neg-in distribute-rgt-neg-in rem-exp-log
10×difference-cubes
9×associate--l-
8×associate--r- sum-cubes
7×sqrt-pow2
6×sqrt-undiv neg-mul-1 sub-div
5×distribute-lft1-in count-2 distribute-rgt1-in
4×exp-to-pow
3×cos-diff unpow1/3 pow3
2×neg-sub0 cos-sum neg-log tan-quot cos-mult sin-mult
1×remove-double-div pow-sub

localize9.4s (1.4%)

bsearch2.9s (0.4%)

end4.0ms (0.0%)

Profiling

Loading profile data...