Date:Friday, May 1st, 2020
Commit:b6776165 on joint-profile
Hostname:warfa with Racket 7.5
Seed:2020122
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

series4.7m (30.3%)

Calls

2612 calls:

5.0s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
4.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
4.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
3.3s
(pow (pow (log (- 1.0 (/ y x))) 3) 3)
3.3s
(pow (pow (cbrt (pow (log (- 1.0 (/ y x))) 3)) 3) 3)

sample4.2m (26.7%)

Algorithm
539×intervals
Results
1.7m2652650×body80valid
27.5s513165×body80nan
18.9s46901×body1280valid
10.9s43182×body640valid
4.2s24868×body320valid
4.0s5340×body2560valid
1.7s13762×body160valid
180.0ms1084×body640nan
171.0ms822×body1280nan
95.0ms38×body5120valid
86.0ms1558×body80overflowed
76.0ms614×body320nan
31.0ms368×body160nan

prune3.9m (25.0%)

Filtered
92440 candidates to 60959 candidates (65.9%)

simplify1.3m (8.2%)

Algorithm
1442×egg-herbie

regimes50.8s (5.4%)

Accuracy

Total 205.6b remaining (36.7%)

Threshold costs 25.8b (4.6%)

15.3b14.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.4b55%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.6b-7%Linear.Matrix:det44 from linear-1.19.1.3
10.2b55.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.3b12.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite26.3s (2.8%)

Algorithm
903×rewrite-expression-head
Calls

2612 calls:

221.0ms
(cbrt (pow (/ (- x y) (- z y)) 3))
197.0ms
(- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))
185.0ms
(/ (- (pow (/ x (- 2.0 (+ x y))) 3) (pow (/ y (- 2.0 (+ x y))) 3)) (+ (* (/ y (- 2.0 (+ x y))) (+ (/ y (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y))))) (* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y))))))
177.0ms
(cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))
133.0ms
(cbrt (* (* (cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))) (cbrt (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))))
Rules
43086×times-frac
40072×*-un-lft-identity
36811×add-sqr-sqrt
25161×add-cube-cbrt
12489×associate-*r/
12083×add-exp-log
9330×add-cbrt-cube
8924×cbrt-div
7036×pow1
6919×cbrt-prod
6732×associate-*r*
6429×sqrt-prod
5056×frac-times
4674×frac-sub
4316×distribute-lft-out--
4149×difference-of-squares
3982×add-log-exp
3895×associate-*l*
3696×prod-exp
3403×distribute-lft-out
3231×associate-/r*
3177×flip3-- flip--
3028×cbrt-unprod
2834×unpow-prod-down
2750×div-exp
2664×associate-/l*
2662×tanh-def
2480×associate-*l/
2220×div-inv
2061×associate-/r/
2016×pow-prod-down
1956×cbrt-undiv
1709×flip-+ flip3-+
1559×cube-prod
1537×log-prod
1433×unswap-sqr
1314×distribute-rgt-in distribute-lft-in
1151×swap-sqr
1104×sqrt-div
999×pow1/3
808×*-commutative
677×associate-/l/
663×sub-neg
603×sqr-pow
538×clear-num frac-2neg
525×sqrt-pow1
506×associate-+l+
483×sum-log
421×associate-+r+
378×associate--l+
326×pow-prod-up
323×pow1/2
300×+-commutative
286×pow-exp
283×1-exp
282×exp-sum
277×rec-exp
272×diff-log
271×pow-sqr
263×frac-add
241×log-pow
188×pow-unpow
150×pow-to-exp
128×pow-plus
124×distribute-rgt-out--
119×exp-prod
116×rem-sqrt-square
114×pow2
106×pow-pow
103×div-sub
77×pow-flip
73×unpow3 cube-mult
71×unpow2
64×associate--r+
60×cube-div inv-pow
56×log-div
52×distribute-rgt-neg-in distribute-lft-neg-in
48×rem-cube-cbrt
47×distribute-rgt-neg-out
46×un-div-inv
45×rem-log-exp
31×cosh-def
30×sinh-def
28×sqrt-unprod associate-+l-
27×difference-cubes
21×associate-+r- unsub-neg distribute-rgt-out
19×rem-cbrt-cube
18×rem-exp-log rem-square-sqrt neg-mul-1
17×distribute-lft-neg-out
15×unpow1/3
14×sub-div
11×sum-cubes
9×associate--l-
8×associate--r-
6×sqrt-pow2 distribute-rgt1-in exp-to-pow tan-quot
5×log-rec distribute-lft1-in diff-cos count-2
4×difference-of-sqr-1
3×cos-diff neg-sub0 sin-mult cos-mult
2×pow-div cos-sum exp-diff sqrt-undiv pow3 distribute-frac-neg neg-log distribute-neg-frac
1×exp-neg mul-1-neg

localize9.9s (1.1%)

bsearch5.6s (0.6%)

end5.0ms (0.0%)

Profiling

Loading profile data...