Date:Saturday, May 2nd, 2020
Commit:37107503 on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020123
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.3m (28.5%)

Calls

2573 calls:

7.7s
(* (* y z) (/ (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)) (+ (* (tanh (/ x y)) (+ (tanh (/ x y)) (tanh (/ t y)))) (* (tanh (/ t y)) (tanh (/ t y))))))
3.4s
(/ (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)) (+ (* (tanh (/ x y)) (+ (tanh (/ x y)) (tanh (/ t y)))) (* (tanh (/ t y)) (tanh (/ t y)))))
1.2s
(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
901.0ms
(/ (cbrt (- z t)) (/ (- a t) y))
798.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))

sample4.3m (28.4%)

Algorithm
539×intervals
Results
1.8m2665290×body80valid
27.5s513811×body80nan
19.3s47581×body1280valid
10.7s42769×body640valid
4.2s25001×body320valid
4.0s5466×body2560valid
1.6s13853×body160valid
171.0ms1048×body640nan
168.0ms827×body1280nan
112.0ms43×body5120valid
83.0ms1578×body80overflowed
77.0ms647×body320nan
29.0ms354×body160nan

prune3.7m (24.4%)

Filtered
89685 candidates to 60046 candidates (67.0%)

simplify1.2m (8.3%)

Algorithm
1443×egg-herbie

regimes52.8s (5.9%)

Accuracy

Total 214.1b remaining (37.2%)

Threshold costs 29.9b (5.2%)

13.3b-23.5%Linear.Matrix:det44 from linear-1.19.1.3
12.4b44.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.4b61.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.7b-3.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
10.2b57.3%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

rewrite24.7s (2.7%)

Algorithm
905×rewrite-expression-head
Calls

2573 calls:

190.0ms
(* (* y z) (/ (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)) (+ (* (tanh (/ x y)) (+ (tanh (/ x y)) (tanh (/ t y)))) (* (tanh (/ t y)) (tanh (/ t y))))))
117.0ms
(* (/ 1 (sqrt (+ 1.0 (* z z)))) (/ (/ (/ 1.0 y) x) (sqrt (+ 1.0 (* z z)))))
103.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (- z t) (/ (cbrt (- a t)) (cbrt y))))
95.0ms
(/ (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3)) (+ (* (tanh (/ x y)) (+ (tanh (/ x y)) (tanh (/ t y)))) (* (tanh (/ t y)) (tanh (/ t y)))))
93.0ms
(+ (/ (/ 60.0 (- z t)) (/ 1 (- x y))) (* a 120.0))
Rules
40830×times-frac
36253×*-un-lft-identity
35845×add-sqr-sqrt
24186×add-cube-cbrt
10980×add-exp-log
9008×cbrt-prod
8831×add-cbrt-cube
7990×associate-*r*
6637×pow1
4617×associate-*l*
4533×frac-times
4104×sqrt-prod
4077×add-log-exp
3972×difference-of-squares
3872×cbrt-div
3717×distribute-lft-out--
3501×associate-*r/
3278×associate-/r/
3183×prod-exp
3135×associate-*l/
3127×associate-/r*
2769×flip-- frac-add flip3--
2597×cbrt-unprod
2528×distribute-lft-out
2466×flip-+ flip3-+
2414×associate-/l*
2381×div-exp
2182×div-inv
1878×tanh-def
1859×pow-prod-down
1779×log-prod
1716×cbrt-undiv
1674×distribute-rgt-in distribute-lft-in
1545×unswap-sqr
1276×unpow-prod-down
1231×sqrt-div
904×pow1/3
835×*-commutative
808×frac-sub
778×swap-sqr
739×sub-neg
735×associate-/l/
709×cube-prod
567×sum-log
524×associate-+l+
515×clear-num frac-2neg
400×sqrt-pow1
371×associate-+r+
345×sqr-pow
325×+-commutative
317×associate--l+
279×1-exp diff-log
277×rec-exp
270×pow-prod-up
256×pow1/2
224×pow-sqr
193×log-pow
184×pow-exp
142×pow-unpow pow-to-exp
115×div-sub
104×rem-sqrt-square
102×pow-plus
98×pow-flip
94×pow2
74×pow-pow
73×cube-div inv-pow
65×associate--r+
54×exp-prod exp-sum
51×log-div
46×un-div-inv
45×distribute-rgt-neg-out
44×unpow3 cube-mult
39×rem-log-exp
38×unpow2
37×sinh-def
36×associate-+l-
27×rem-cube-cbrt
24×distribute-rgt-neg-in
23×unsub-neg
22×distribute-lft-neg-in distribute-rgt-out
20×difference-cubes associate-+r-
19×cosh-def
17×unpow1/3 sqrt-unprod
15×distribute-rgt-out-- rem-square-sqrt
14×sub-div associate--r-
11×rem-cbrt-cube
10×rem-exp-log sum-cubes
9×pow-sub
8×unpow-prod-up
6×distribute-rgt1-in neg-sub0 tan-quot exp-to-pow
5×distribute-lft1-in diff-cos count-2 associate--l- neg-mul-1
4×exp-diff exp-neg mul-1-neg
3×neg-log sqrt-pow2 cos-diff
2×pow-div distribute-lft-neg-out sin-mult cos-sum pow-neg
1×sqrt-undiv exp-lft-cube

localize9.7s (1.1%)

bsearch6.7s (0.7%)

end4.0ms (0.0%)

Profiling

Loading profile data...