Date:Friday, May 29th, 2020
Commit:30d0df99 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.4m (30.6%)

Calls

2598 calls:

640.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)))))
362.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
345.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
304.0ms
(* (fabs (cbrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (sqrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))))
288.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

sample5.0m (28.7%)

Algorithm
536×intervals
Results
1.7m2634037×body80valid
27.2s505633×body80nan
20.1s47096×body1280valid
11.2s43082×body640valid
4.3s24855×body320valid
4.3s5686×body2560valid
1.5s13414×body160valid
201.0ms1130×body640nan
184.0ms834×body1280nan
122.0ms46×body5120valid
98.0ms1619×body80overflowed
85.0ms642×body320nan
33.0ms379×body160nan

prune3.1m (17.8%)

Filtered
86259 candidates to 58083 candidates (32.7%)

regimes1.7m (9.8%)

Accuracy

Total 201.8b remaining (35.8%)

Threshold costs 32.4b (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

rewrite50.5s (4.8%)

Algorithm
908×rewrite-expression-head
Calls

2605 calls:

2.8s
(/ (+ (* (- (* (- (* 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)))
198.0ms
(- (* x x) y)
189.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)))))))
91.0ms
(* (/ (cbrt (/ 1.0 x)) (cbrt y)) (/ (cbrt (/ 1.0 x)) (+ 1.0 (* z z))))
Rules
231814×frac-times
181410×associate-*l/
168538×flip-+ flip3-+
122275×frac-add
77745×associate-*r/
75895×flip-- flip3--
68012×frac-sub
33720×associate-/l/
31848×*-un-lft-identity
30946×times-frac
30296×add-sqr-sqrt
20258×add-cube-cbrt
10755×add-exp-log
8756×add-cbrt-cube
8489×cbrt-div
7298×pow1
7071×associate-*r*
6574×cbrt-prod
4356×associate-*l*
4110×add-log-exp
3973×sqrt-prod
3225×prod-exp
3204×difference-of-squares
3092×distribute-lft-out--
2947×associate-/r*
2940×distribute-lft-out
2765×cbrt-unprod
2651×tanh-def
2154×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
542×sum-log
529×sqrt-pow1
499×cube-prod
490×clear-num frac-2neg
454×associate-+l+
418×associate-+r+
391×log-pow
363×pow-prod-up
358×associate--l+
337×pow1/2
316×diff-log
309×+-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
45×associate-+l-
44×un-div-inv distribute-rgt-out--
41×sinh-def
39×unpow3 cube-mult
38×cube-div exp-diff
34×associate-+r-
31×unsub-neg
30×distribute-rgt-out distribute-rgt-neg-out
27×rem-cube-cbrt sum-cubes sqrt-unprod
22×rem-square-sqrt
17×sub-div
16×distribute-neg-out cosh-def
15×rem-exp-log
14×distribute-lft-neg-in distribute-rgt-neg-in
13×associate--l-
12×distribute-neg-frac rem-cbrt-cube
10×diff-cos
9×difference-cubes associate--r-
8×distribute-rgt1-in
7×distribute-lft1-in tan-quot
6×unpow1/3 count-2 neg-sub0 neg-mul-1
5×sqrt-pow2
4×neg-log distribute-neg-in
3×cos-diff sin-mult
2×cos-mult cos-sum
1×exp-to-pow pow3 sqrt-undiv

localize9.6s (0.9%)

bsearch2.2s (0.2%)

end5.0ms (0.0%)

Profiling

Loading profile data...