Date:Friday, May 29th, 2020
Commit:4c7d9bce on master
Hostname:warfa with Racket 7.5
Seed:2020150
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

series5.3m (30.6%)

Calls

2598 calls:

612.0ms
(* (cbrt (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (cbrt (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))))
375.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
349.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
324.0ms
(* (fabs (cbrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (sqrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))))
274.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))

sample5.1m (29.0%)

Algorithm
536×intervals
Results
1.7m2634037×body80valid
26.5s505633×body80nan
19.7s47096×body1280valid
11.1s43082×body640valid
4.3s24855×body320valid
4.2s5686×body2560valid
1.5s13414×body160valid
188.0ms1130×body640nan
180.0ms834×body1280nan
124.0ms46×body5120valid
87.0ms1619×body80overflowed
78.0ms642×body320nan
31.0ms379×body160nan

prune3.0m (17.3%)

Filtered
58072 candidates to 86230 candidates (-48.5%)

regimes1.7m (9.9%)

Accuracy

Total 202.0b remaining (35.9%)

Threshold costs 32.6b (5.8%)

16.7b23.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.5b57.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.5b-0.7%Linear.Matrix:det44 from linear-1.19.1.3
10.1b10.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.9b59%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

simplify1.3m (7.2%)

Algorithm
1441×egg-herbie

rewrite51.6s (4.9%)

Algorithm
908×rewrite-expression-head
Calls

2605 calls:

2.7s
(/ (+ (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ t 1.0)) (* (+ x (* (- y 1.0) z)) (* (- (* t t) (* 1.0 1.0)) a))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (* (* (+ x (* (- y 1.0) z)) (+ t 1.0)) (* (- (pow (+ y t) 3) (pow 2.0 3)) b))) (* (+ (* 2.0 (+ 2.0 (+ y t))) (* (+ y t) (+ y t))) (* (+ x (* (- y 1.0) z)) (+ t 1.0))))
1.1s
(+ (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ t 1.0)) (* (+ x (* (- y 1.0) z)) (* (- (* t t) (* 1.0 1.0)) a))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (* (* (+ x (* (- y 1.0) z)) (+ t 1.0)) (* (- (pow (+ y t) 3) (pow 2.0 3)) b)))
199.0ms
(* y (* (* (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))) (cbrt (* z (- (tanh (/ t y)) (tanh (/ x y)))))))
83.0ms
(* (/ (cbrt (/ 1.0 x)) (cbrt y)) (/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z))))
69.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (/ (cbrt (- y x)) (/ (- a t) (- z t))))
Rules
231814×frac-times
181410×associate-*l/
168537×flip-+ flip3-+
122275×frac-add
77745×associate-*r/
75896×flip-- flip3--
68012×frac-sub
33720×associate-/l/
31849×*-un-lft-identity
30946×times-frac
30297×add-sqr-sqrt
20259×add-cube-cbrt
10716×add-exp-log
8739×add-cbrt-cube
8489×cbrt-div
7259×pow1
7075×associate-*r*
6571×cbrt-prod
4353×associate-*l*
4107×add-log-exp
3973×sqrt-prod
3204×difference-of-squares
3195×prod-exp
3092×distribute-lft-out--
2947×associate-/r*
2940×distribute-lft-out
2735×cbrt-unprod
2651×tanh-def
2124×pow-prod-down
2122×div-exp
2004×associate-/l*
1863×associate-/r/
1678×log-prod
1658×div-inv
1608×cbrt-undiv
1496×unpow-prod-down
1453×unswap-sqr
1288×distribute-rgt-in distribute-lft-in
1238×sqrt-div
937×pow1/3
873×swap-sqr
829×*-commutative
718×sub-neg
540×sum-log
529×sqrt-pow1
499×cube-prod
490×clear-num frac-2neg
452×associate-+l+
418×associate-+r+
391×log-pow
363×pow-prod-up
358×associate--l+
337×pow1/2
316×diff-log
308×+-commutative
302×sqr-pow
279×pow-sqr
215×exp-prod
212×1-exp
201×rec-exp
175×exp-sum
139×pow-exp
138×pow-plus
120×pow-unpow
117×pow2
109×rem-sqrt-square
101×div-sub
91×unpow2
90×pow-to-exp
82×pow-pow
77×log-div
71×rem-log-exp
62×pow-flip
60×distribute-lft-neg-out
58×associate--r+
54×log-rec
49×inv-pow
44×un-div-inv associate-+l- distribute-rgt-out--
41×sinh-def
39×cube-mult unpow3
38×cube-div exp-diff
34×associate-+r-
31×unsub-neg
30×distribute-rgt-out distribute-rgt-neg-out
27×sqrt-unprod sum-cubes rem-cube-cbrt
22×rem-square-sqrt
17×sub-div
16×cosh-def distribute-neg-out
15×rem-exp-log
14×distribute-lft-neg-in distribute-rgt-neg-in
13×associate--l-
12×rem-cbrt-cube distribute-neg-frac
10×diff-cos
9×difference-cubes associate--r-
8×distribute-rgt1-in
7×distribute-lft1-in tan-quot
6×neg-sub0 neg-mul-1 unpow1/3 count-2
5×sqrt-pow2
4×distribute-neg-in neg-log
3×cos-diff sin-mult
2×cos-sum cos-mult
1×sqrt-undiv exp-to-pow pow3

localize9.6s (0.9%)

bsearch2.2s (0.2%)

end5.0ms (0.0%)

Profiling

Loading profile data...