Date:Monday, June 22nd, 2020
Commit:21118a12 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020174
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

analyze3.6min (22.7%)

Algorithm
539×search

sample3.6min (22.5%)

Algorithm
539×intervals
Results
1.2min2099009×body80valid
26.7s292889×body80invalid
18.0s40136×body1280valid
12.0s41665×body640valid
6.4s90310×body80nan
4.5s22794×body320valid
4.4s5677×body2560valid
1.9s6400×body1280invalid
1.5s6530×body640invalid
1.4s11806×body160valid
544.0ms3723×body320invalid
210.0ms2191×body160invalid
180.0ms848×body1280nan
178.0ms1024×body640nan
87.0ms33×body5120valid
82.0ms661×body320nan
48.0ms893×body80overflowed
33.0ms367×body160nan

prune2.0min (12.8%)

Filtered
88232 candidates to 56018 candidates (36.5%)

bsearch2.0min (12.8%)

regimes1.8min (11.6%)

Accuracy

Total 209.2b remaining (37.1%)

Threshold costs 24.6b (4.4%)

17.5b26.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b-22.6%Linear.Matrix:det44 from linear-1.19.1.3
12.6b59.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.5b59.8%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.7b15.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

simplify1.2min (7.6%)

Algorithm
1431×egg-herbie

series1.0min (6.5%)

Calls

2527 calls:

1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
1.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite23.7s (2.5%)

Algorithm
892×rewrite-expression-head
Calls

2527 calls:

245.0ms
(+ (/ (/ (- (pow x 4) (pow y 2)) (sqrt (- (* x x) y))) (sqrt (- (* x x) y))) y)
138.0ms
(- (/ y (/ (- a z) t)) (/ z (/ (- a z) t)))
95.0ms
(+ (/ (/ 60.0 (- z t)) (/ 1 (- x y))) (* a 120.0))
95.0ms
(+ x (/ (/ y (- z a)) (/ 1 (- z t))))
64.0ms
(/ (+ (pow 1.0 3) (pow (* 4.0 (+ 0.25 (/ (- x z) y))) 3)) (+ (* (* 4.0 (+ 0.25 (/ (- x z) y))) (- (* 4.0 (+ 0.25 (/ (- x z) y))) 1.0)) (* 1.0 1.0)))
Rules
40853×times-frac
38479×*-un-lft-identity
37225×add-sqr-sqrt
23634×add-cube-cbrt
13180×add-exp-log
8718×add-cbrt-cube
7534×cbrt-prod
6813×associate-*r*
6445×pow1
5820×sqrt-prod
5589×difference-of-squares
4607×prod-exp
4462×distribute-lft-out--
4126×associate-*l*
3974×add-log-exp
3909×div-exp
3240×distribute-lft-out
3192×associate-/r*
2558×cbrt-unprod
2396×associate-/l*
2352×associate-*r/
2244×unpow-prod-down
2135×associate-/r/
2099×flip-+ flip3-+
1995×div-inv
1971×flip-- flip3--
1814×pow-prod-down
1696×cbrt-undiv
1631×cbrt-div
1616×log-prod
1473×frac-times
1437×unswap-sqr
1322×associate-*l/
1302×distribute-rgt-in distribute-lft-in
1042×pow-exp
1002×cube-prod
983×sqrt-div
903×1-exp
870×sqr-pow
825×pow1/3
798×*-commutative
705×sub-neg
654×frac-sub
653×swap-sqr
632×associate-/l/
520×clear-num frac-2neg
510×sum-log
453×pow-to-exp
431×frac-add
400×rec-exp
394×sqrt-pow1
374×associate-+l+
334×associate--l+
323×log-pow
315×associate-+r+
314×diff-log
298×+-commutative
282×unpow2
254×exp-prod
248×pow1/2
236×pow-prod-up
203×tanh-def
193×pow-sqr
161×pow-unpow
141×distribute-neg-frac
122×div-sub
91×pow-plus
90×exp-sum
86×pow-flip
85×rem-sqrt-square
82×pow2
78×log-div
77×pow-pow
75×cube-mult unpow3
74×inv-pow
71×associate--r+
69×cube-div
60×rem-log-exp
54×un-div-inv
49×associate-+l-
46×distribute-rgt-neg-out
43×distribute-rgt-out--
35×sum-cubes
34×rem-cube-cbrt
26×distribute-lft-neg-in associate-+r- distribute-rgt-neg-in
25×sinh-def
24×unsub-neg
23×sqrt-unprod
21×difference-cubes cosh-def distribute-rgt-out
20×sub-div
18×unpow-prod-up unpow1/3 rem-exp-log
17×exp-diff
16×rem-cbrt-cube
15×associate--r-
14×distribute-lft-neg-out rem-square-sqrt
12×associate--l-
10×log-rec pow-div
8×neg-mul-1
7×neg-sub0 tan-quot
6×exp-to-pow distribute-rgt1-in
5×distribute-lft1-in diff-cos count-2
4×sqrt-pow2 neg-log
3×cos-diff
2×cos-sum distribute-neg-in pow3 distribute-neg-out sin-mult
1×sqrt-undiv pow-sub

localize10.0s (1.0%)

end10.0ms (0.0%)

Profiling

Loading profile data...