Date:Wednesday, June 3rd, 2020
Commit:eb226413 on ival-perf
Hostname:warfa with Racket 7.5
Seed:2020155
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

sample7.3m (44.2%)

Algorithm
539×intervals
Results
2.5m2648951×body80valid
38.0s511118×body80nan
28.8s46801×body1280valid
16.6s43081×body640valid
6.1s24043×body320valid
6.1s5587×body2560valid
2.3s13859×body160valid
236.0ms885×body1280nan
222.0ms1038×body640nan
147.0ms46×body5120valid
109.0ms652×body320nan
107.0ms1578×body80overflowed
41.0ms386×body160nan

prune2.9m (17.4%)

Filtered
55305 candidates to 85621 candidates (-54.8%)

regimes2.5m (15.5%)

Accuracy

Total 215.8b remaining (37.4%)

Threshold costs 26.3b (4.6%)

15.1b-38.9%Linear.Matrix:det44 from linear-1.19.1.3
12.0b62.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.3b57%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.9b58.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.0b0.5%Linear.Matrix:det33 from linear-1.19.1.3

simplify1.7m (10.1%)

Algorithm
1435×egg-herbie

series1.2m (7.2%)

Calls

2505 calls:

2.3s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
629.0ms
(* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))
568.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
510.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
339.0ms
(/ (- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c)) (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

rewrite35.8s (3.6%)

Algorithm
896×rewrite-expression-head
Calls

2505 calls:

672.0ms
(* (/ y (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ (- z t) (cbrt (- a t))))
291.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
280.0ms
(- (/ y (/ (+ (- t z) 1.0) a)) (/ z (/ (+ (- t z) 1.0) a)))
241.0ms
(- (* x x) y)
200.0ms
(/ x (+ x y))
Rules
33347×times-frac
33291×*-un-lft-identity
32489×add-sqr-sqrt
21240×add-cube-cbrt
13273×add-exp-log
8820×add-cbrt-cube
8200×cbrt-div
7022×pow1
6755×associate-*r*
5500×cbrt-prod
5136×associate-*l*
4715×prod-exp
4584×frac-times
4159×sqrt-prod
3928×flip-- flip3--
3908×div-exp
3848×add-log-exp
3751×distribute-lft-out--
3611×difference-of-squares
3249×associate-/r*
2994×associate-*r/
2701×cbrt-unprod
2545×associate-*l/
2494×distribute-lft-out
2432×associate-/r/
2137×associate-/l*
2095×pow-prod-down
1844×flip-+ flip3-+
1746×div-inv
1723×cbrt-undiv
1700×log-prod
1563×unswap-sqr
1468×unpow-prod-down
1386×distribute-rgt-in distribute-lft-in
1053×pow-exp
963×sqrt-div
951×pow1/3
878×cube-prod
858×1-exp
846×swap-sqr
830×*-commutative
653×sub-neg
576×sqrt-pow1
569×associate-/l/
507×clear-num frac-2neg
472×pow-to-exp
465×sum-log
458×associate-+l+
370×frac-add
363×pow-prod-up
345×associate-+r+
343×rec-exp
302×associate--l+
293×pow1/2
286×log-pow
284×pow-sqr
283×diff-log
278×exp-prod sqr-pow
277×+-commutative
262×frac-sub
156×pow-unpow
140×distribute-neg-frac
134×pow-plus
116×pow2 div-sub
113×unpow2
98×cube-div
93×rem-sqrt-square
75×pow-pow
69×associate--r+
64×rem-log-exp pow-flip
61×inv-pow tanh-def
59×log-div
47×cube-mult unpow3
45×exp-sum
43×un-div-inv
41×distribute-rgt-neg-out
38×rem-cube-cbrt
35×associate-+l-
31×cosh-def unpow1/3
27×rem-exp-log
26×sqrt-unprod
22×unsub-neg
20×associate-+r- distribute-rgt-out exp-diff
19×distribute-lft-neg-in distribute-rgt-neg-in
18×rem-square-sqrt
17×sum-cubes
16×distribute-lft-neg-out
14×associate--r- rem-cbrt-cube distribute-rgt-out--
12×sinh-def
10×log-rec
9×sqrt-undiv
8×associate--l-
7×neg-mul-1 diff-cos pow-div
6×difference-cubes sub-div distribute-rgt1-in
5×distribute-lft1-in count-2
3×neg-sub0 cos-diff e-exp-1 sqrt-pow2 pow3 sin-mult
2×cos-sum distribute-neg-in exp-to-pow neg-log tan-quot distribute-neg-out
1×unpow-prod-up sin-cos-mult cos-mult

localize14.0s (1.4%)

bsearch5.1s (0.5%)

end5.0ms (0.0%)

Profiling

Loading profile data...