Date:Saturday, June 27th, 2020
Commit:830c07fe on fix-unfold-let
Hostname:warfa with Racket 7.5
Seed:2020179
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.1min (43.7%)

Algorithm
538×intervals
Results
1.8min2652864×body80valid
26.8s506489×body80nan
20.4s46925×body1280valid
11.2s42637×body640valid
4.4s5753×body2560valid
4.4s24736×body320valid
1.6s13758×body160valid
179.0ms1052×body640nan
172.0ms824×body1280nan
110.0ms40×body5120valid
89.0ms684×body320nan
89.0ms1653×body80overflowed
25.0ms305×body160nan

prune2.5min (21.7%)

Filtered
83097 candidates to 55248 candidates (33.5%)

regimes1.6min (13.9%)

Accuracy

Total 239.2b remaining (42.3%)

Threshold costs 28.0b (5%)

19.4b10.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.4b60.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.2b8.8%Linear.Matrix:det44 from linear-1.19.1.3
10.0b15.9%Data.Colour.Matrix:determinant from colour-2.3.3, A
9.6b59.8%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

simplify54.1s (7.8%)

Algorithm
1421×egg-herbie

series53.4s (7.6%)

Calls

2581 calls:

525.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
510.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
506.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
444.0ms
(sqrt (+ (* x y) (+ (* z (/ t 16.0)) (- c (* a (/ b 4.0))))))
422.0ms
(sqrt (+ (* x y) (+ (* z (/ t 16.0)) (- c (* a (/ b 4.0))))))

rewrite23.1s (3.3%)

Algorithm
884×rewrite-expression-head
Calls

2581 calls:

210.0ms
(- (* x (- y 1.0)) (* y 0.5))
205.0ms
(* y (* (* z (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))
199.0ms
(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
56.0ms
(* (* (cbrt (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)) (cbrt (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z))) (/ (cbrt (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z)) (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))
50.0ms
(* (/ x (+ y x)) (/ (/ y (+ y x)) (+ x (+ y 1.0))))
Rules
27952×*-un-lft-identity
27280×add-sqr-sqrt
25539×times-frac
18408×add-cube-cbrt
12238×add-exp-log
9098×add-cbrt-cube
7783×cbrt-div
7695×pow1
7407×associate-*r*
6685×cbrt-prod
6599×associate-*r/
5550×frac-times
4495×prod-exp
4269×frac-sub
4264×associate-*l*
3769×add-log-exp
3414×sqrt-prod
3413×cbrt-unprod
2852×tanh-def
2684×flip-- flip3--
2538×difference-of-squares
2525×distribute-lft-out--
2522×pow-prod-down
2423×distribute-lft-out
2221×div-exp
2220×associate-/r*
1969×associate-*l/
1648×flip-+ flip3-+
1635×associate-/l*
1521×div-inv
1518×unswap-sqr
1508×cbrt-undiv
1405×associate-/r/
1310×unpow-prod-down
1214×log-prod
1100×distribute-rgt-in distribute-lft-in
1073×sqrt-div
1003×pow1/3
924×swap-sqr
910×*-commutative
640×sqrt-pow1
547×cube-prod
538×sub-neg
459×sum-log
433×associate-/l/
417×clear-num frac-2neg
398×pow1/2
355×frac-add
325×associate-+r+
317×pow-prod-up
297×pow-exp
295×1-exp
286×+-commutative
278×rec-exp
251×associate--l+
247×sqr-pow
243×pow-sqr
240×associate-+l+
234×pow-to-exp
216×log-pow
214×diff-log
175×pow-unpow
142×rem-sqrt-square
109×pow-pow
105×distribute-lft-neg-in distribute-rgt-neg-in pow-plus
103×cube-div
102×pow2
99×div-sub
96×exp-prod
77×log-div
76×pow-flip
74×cube-mult
64×un-div-inv
63×distribute-rgt-neg-out
62×inv-pow
59×exp-sum
54×unpow3
53×rem-log-exp
45×associate-+r-
40×difference-of-sqr--1
35×associate--r+
34×distribute-rgt-out--
32×neg-mul-1
31×associate-+l-
29×rem-cube-cbrt
28×sqrt-unprod
25×distribute-rgt-out
23×rem-square-sqrt
22×neg-sub0
18×exp-neg exp-diff
17×sinh-def unsub-neg rem-exp-log
16×rem-cbrt-cube pow-sub
13×cosh-def
12×pow-neg unpow2
9×unpow1/3 sub-div
8×distribute-rgt1-in
6×difference-cubes distribute-lft1-in count-2
5×associate--l- e-exp-1 sqrt-pow2
4×unpow-prod-up diff-cos associate--r- distribute-frac-neg
3×cos-diff pow3 tan-quot
2×cos-sum mul-1-neg cos-mult sin-mult
1×acos-asin sqrt-undiv exp-to-pow sum-cubes

localize9.3s (1.3%)

bsearch4.3s (0.6%)

end4.0ms (0.0%)

Profiling

Loading profile data...