Date:Thursday, July 23rd, 2020
Commit:528fe40a on cleanup
Hostname:warfa with Racket 7.5
Seed:2020205
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

Time bar (total: 12.1min)

sample3.3min (26.9%)

Algorithm
539×intervals
Results
1.2min2091660×body80valid
18.2s40332×body1280valid
13.5s233036×body80invalid
12.0s41849×body640valid
6.3s89847×body80nan
4.3s22516×body320valid
4.2s5597×body2560valid
2.0s6668×body1280invalid
1.7s12102×body160valid
1.4s6744×body640invalid
531.0ms3706×body320invalid
228.0ms2301×body160invalid
178.0ms1054×body640nan
175.0ms852×body1280nan
147.0ms51×body5120valid
81.0ms642×body320nan
49.0ms849×body80overflowed
26.0ms327×body160nan

prune2.7min (22.6%)

analyze1.8min (15.3%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14

regimes1.7min (14%)

Accuracy

Total 188.1b remaining (35.3%)

Threshold costs 24.0b (4.5%)

18.5b897.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.5b5394.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b5422.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.3b5724.3%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
7.3b6257.9%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

simplify1.1min (8.8%)

Algorithm
1434×egg-herbie

series55.0s (7.6%)

Calls

2616 calls:

1.3s
(sqrt (+ (+ (* a b) (+ (* x y) (* z t))) (* c i)))
1.3s
(sqrt (+ (+ (* a b) (+ (* x y) (* z t))) (* c i)))
896.0ms
(/ (sqrt x) (* (cbrt (+ 1.0 (sqrt (+ x 1.0)))) (cbrt (+ 1.0 (sqrt (+ x 1.0))))))
482.0ms
(sqrt (+ (- (+ (/ (* z t) 16.0) (* x y)) (/ (* a b) 4.0)) c))
368.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))

rewrite23.5s (3.2%)

Algorithm
895×rewrite-expression-head
Rules
34822×times-frac
34432×*-un-lft-identity
33438×add-sqr-sqrt
22294×add-cube-cbrt
11234×add-exp-log
8770×add-cbrt-cube
7395×pow1
6814×cbrt-prod
6503×associate-*r*
4071×associate-*l*
3963×sqrt-prod
3886×difference-of-squares
3819×add-log-exp
3780×distribute-lft-out--
3712×associate-/r*
3368×prod-exp
2591×div-exp
2536×distribute-lft-out
2529×cbrt-unprod
2149×associate-/l*
2142×pow-prod-down
2057×flip-- flip3--
2045×associate-/r/
1829×associate-*r/
1824×div-inv
1779×cbrt-div
1695×flip-+ flip3-+
1643×cbrt-undiv
1489×associate-*l/
1432×unswap-sqr
1394×frac-times
1378×log-prod
1309×unpow-prod-down
1077×sqrt-div
999×pow1/3
981×swap-sqr
945×distribute-rgt-in distribute-lft-in
822×*-commutative
687×sqrt-pow1
640×associate-/l/
636×sub-neg
603×cube-prod
542×clear-num frac-2neg
435×pow-exp
429×sum-log
426×pow1/2
424×pow-prod-up
356×associate-+r+
337×associate-+l+
333×pow-sqr
322×log-pow
314×associate--l+
304×1-exp
290×+-commutative
288×pow-to-exp sqr-pow
281×exp-prod
269×frac-sub
229×diff-log
225×rec-exp
214×frac-add
176×pow-unpow
150×div-sub
142×pow-plus
139×distribute-rgt-out
135×rem-sqrt-square
127×pow2
89×unpow2
78×pow-pow
75×exp-sum
74×distribute-lft-neg-in distribute-rgt-neg-in
68×log-div pow-flip
67×tanh-def-b tanh-def-a tanh-def-c
64×inv-pow
60×cube-div
54×cube-mult unpow3
51×rem-log-exp distribute-lft1-in distribute-rgt1-in
48×un-div-inv
40×sqrt-unprod
38×count-2
33×rem-cube-cbrt
32×distribute-rgt-neg-out associate--r+
30×associate-+r-
29×sinh-def
28×rem-square-sqrt
27×associate-+l-
25×rem-exp-log
19×unsub-neg
18×rem-cbrt-cube
16×distribute-rgt-out--
14×neg-mul-1
13×associate--r- exp-diff
12×distribute-neg-in
11×cosh-def
9×associate--l- sub-div
8×exp-to-pow unpow1/3 tan-quot
6×difference-cubes
5×diff-cos cosh-undef
4×cos-diff sum-cubes
3×cube-neg sqrt-pow2 distribute-neg-frac
2×distribute-lft-neg-out e-exp-1 cos-sum sin-mult
1×cos-mult
Calls

2616 calls:

225.0ms
(* (* x (* (cbrt (/ 2.0 (- y t))) (cbrt (/ 2.0 (- y t))))) (/ (cbrt (/ 2.0 (- y t))) z))
202.0ms
(- (* (+ x y) (+ x y)) (* (* x y) (* x y)))
137.0ms
(+ x (/ (/ (- y z) (- a z)) (/ 1 (- t x))))
101.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
78.0ms
(- (- 1.0 (/ 0.1111111111111111 x)) (/ 1 (/ 3.0 (/ y (sqrt x)))))

localize10.0s (1.4%)

bsearch2.8s (0.4%)

end5.0ms (0%)

Profiling

Loading profile data...