Date:Wednesday, June 3rd, 2020
Commit:75abde43 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

sample5.1m (44.4%)

Algorithm
539×intervals
Results
1.7m2648951×body80valid
27.2s511118×body80nan
19.6s46801×body1280valid
11.1s43081×body640valid
4.3s5587×body2560valid
4.2s24043×body320valid
1.6s13859×body160valid
185.0ms885×body1280nan
181.0ms1038×body640nan
114.0ms46×body5120valid
88.0ms1578×body80overflowed
85.0ms652×body320nan
32.0ms386×body160nan

prune2.0m (17.4%)

Filtered
55342 candidates to 85665 candidates (-54.8%)

regimes1.7m (15.1%)

Accuracy

Total 216.1b remaining (37.5%)

Threshold costs 26.5b (4.6%)

15.1b-39%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.2m (10.4%)

Algorithm
1436×egg-herbie

series50.9s (7.3%)

Calls

2507 calls:

2.4s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
541.0ms
(* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))
369.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
339.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
256.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

rewrite24.2s (3.5%)

Algorithm
897×rewrite-expression-head
Calls

2507 calls:

455.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))))
214.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
196.0ms
(- (* x x) y)
181.0ms
(* (- y x) 6.0)
151.0ms
(- (/ y (/ (+ (- t z) 1.0) a)) (/ z (/ (+ (- t z) 1.0) a)))
Rules
33347×times-frac
33297×*-un-lft-identity
32501×add-sqr-sqrt
21246×add-cube-cbrt
13275×add-exp-log
8822×add-cbrt-cube
8200×cbrt-div
7024×pow1
6759×associate-*r*
5500×cbrt-prod
5144×associate-*l*
4714×prod-exp
4584×frac-times
4160×sqrt-prod
3928×flip-- flip3--
3908×div-exp
3850×add-log-exp
3751×distribute-lft-out--
3611×difference-of-squares
3249×associate-/r*
2998×associate-*r/
2700×cbrt-unprod
2549×associate-*l/
2494×distribute-lft-out
2432×associate-/r/
2137×associate-/l*
2094×pow-prod-down
1846×flip-+ flip3-+
1746×div-inv
1723×cbrt-undiv
1700×log-prod
1566×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
832×*-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

localize9.7s (1.4%)

bsearch3.3s (0.5%)

end4.0ms (0.0%)

Profiling

Loading profile data...