Date:Tuesday, June 30th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020182
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

sample5.7min (41.2%)

Algorithm
539×intervals
Results
1.9min2667449×body80valid
31.0s525162×body80nan
19.7s47922×body1280valid
11.8s43652×body640valid
4.4s24621×body320valid
4.1s5869×body2560valid
1.6s13768×body160valid
203.0ms932×body1280nan
183.0ms1065×body640nan
120.0ms53×body5120valid
90.0ms1641×body80overflowed
79.0ms638×body320nan
30.0ms363×body160nan

prune2.6min (19.1%)

Filtered
84934 candidates to 56625 candidates (33.3%)

series2.4min (17.3%)

Calls

2659 calls:

1.4min
(- (* (+ (* x y) (+ (* z t) (* a b))) (+ (* x y) (+ (* z t) (* a b)))) (* c (* c (* i i))))
587.0ms
(cbrt (* (/ (- y z) (+ t (- 1.0 z))) (- a x)))
375.0ms
(cbrt (* (/ (- y z) (+ t (- 1.0 z))) (- a x)))
375.0ms
(cbrt (* (/ (- y z) (+ t (- 1.0 z))) (- a x)))
368.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))

regimes1.6min (11.9%)

Accuracy

Total 227.2b remaining (40.7%)

Threshold costs 31.0b (5.5%)

21.0b2.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.6b59.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.4b-8.6%Linear.Matrix:det44 from linear-1.19.1.3
11.7b3.1%Data.Colour.Matrix:determinant from colour-2.3.3, A
9.8b58.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

simplify45.3s (5.5%)

Algorithm
1442×egg-herbie

rewrite27.0s (3.3%)

Algorithm
903×rewrite-expression-head
Calls

2659 calls:

310.0ms
(* (* (cbrt y) (cbrt y)) (* z (* (* (cbrt (- (tanh (/ t y)) (tanh (/ x y)))) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))) (* (cbrt y) (cbrt (- (tanh (/ t y)) (tanh (/ x y))))))))
69.0ms
(/ (+ x (- (/ 1 (/ (- t (/ x z)) y)) (/ x (- (* z t) x)))) (+ x 1.0))
60.0ms
(* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))
55.0ms
(* (+ (* x (+ (* x (+ (* x (+ (* x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (* (cbrt (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))) (cbrt (/ 1 (+ (* x (+ (* x (+ (* x (+ x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606)))))
54.0ms
(* (/ x (+ y x)) (/ (/ y (+ y x)) (+ x (+ y 1.0))))
Rules
29084×*-un-lft-identity
28778×add-sqr-sqrt
24062×times-frac
17784×add-cube-cbrt
12103×add-exp-log
9346×add-cbrt-cube
8000×pow1
7839×associate-*r*
7654×associate-*r/
7268×cbrt-div
7109×cbrt-prod
5062×frac-times
4414×associate-*l*
4254×prod-exp
4096×frac-sub
4042×sqrt-prod
3854×add-log-exp
3582×distribute-lft-out--
3554×difference-of-squares
3460×cbrt-unprod
2658×tanh-def2 tanh-def3 tanh-def1
2606×pow-prod-down
2580×flip-- flip3--
2280×distribute-lft-out
2230×associate-/r*
2068×div-exp
1923×associate-/l*
1885×associate-*l/
1583×flip-+ flip3-+
1555×cbrt-undiv
1545×unswap-sqr
1517×associate-/r/
1289×div-inv
1263×unpow-prod-down
1239×log-prod
1159×pow1/3
1129×distribute-rgt-in distribute-lft-in
1053×swap-sqr
934×*-commutative
736×sqrt-div
653×sqrt-pow1
588×sub-neg
493×cube-prod
462×sum-log
440×clear-num frac-2neg
419×associate-+r+
411×associate-/l/
379×log-pow
351×pow1/2
349×pow-prod-up
315×associate--l+
307×exp-prod
296×+-commutative
279×pow-sqr
274×1-exp
267×rec-exp
257×associate-+l+
240×sqr-pow
234×frac-add
233×pow-unpow
217×diff-log
185×pow-exp
157×pow-pow
125×pow-to-exp
119×pow-plus
117×pow2 rem-sqrt-square
107×div-sub
95×exp-sum
90×pow-flip
84×distribute-rgt-neg-out
72×cube-div
71×log-div
64×inv-pow
59×cube-mult
58×un-div-inv
57×unpow3
53×unpow-prod-up
50×rem-log-exp
43×associate-+r- associate-+l-
34×rem-cube-cbrt
33×sqrt-unprod
29×distribute-rgt-out--
28×difference-of-sqr--1
23×distribute-rgt-out
22×sinh-def
21×distribute-lft-neg-in distribute-rgt-neg-in unsub-neg
19×rem-square-sqrt
17×rem-cbrt-cube
14×rem-exp-log
13×cosh-def exp-diff unpow2
12×associate--l- sub-div
9×difference-cubes e-exp-1 distribute-rgt1-in
8×pow-sub
7×sqrt-undiv
6×distribute-lft1-in unpow1/3 count-2 sum-cubes associate--r+
5×diff-cos sqrt-pow2
4×neg-mul-1 tan-quot
3×cos-diff exp-to-pow associate--r- pow3
2×cos-sum
1×distribute-lft-neg-out acos-asin

localize10.0s (1.2%)

bsearch4.0s (0.5%)

end4.0ms (0.0%)

Profiling

Loading profile data...