Date:Saturday, February 22nd, 2020
Commit:72c1b946 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020053
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.2m (28.3%)

Calls

2511 calls:

2.9s
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
2.6s
(* (/ (cbrt (- y z)) (cbrt (cbrt (- a z)))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z)))))
1.9s
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (cbrt t) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.9s
(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
1.6s
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (pow (/ 1 y) -1/3)) (+ y 0.5)))

prune4.0m (26.5%)

Filtered
86223 candidates to 57573 candidates (66.8%)

sample3.6m (24.4%)

Algorithm
539×intervals
Results
1.4m2639671×body80valid
19.9s490031×body80nan
17.2s46319×body1280valid
9.5s42907×body640valid
4.1s5640×body2560valid
3.6s24585×body320valid
1.3s13175×body160valid
806.0ms1608×body10240exit
101.0ms656×body640nan
88.0ms464×body1280nan
78.0ms31×body5120valid
45.0ms428×body320nan
17.0ms251×body160nan

simplify1.2m (8.1%)

Algorithm
1433×egg-herbie

rewrite50.4s (5.6%)

Algorithm
894×rewrite-expression-head
Calls

2511 calls:

1.1s
(* (sqrt (+ (* x (+ (+ (+ y (+ z z)) y) t)) (* y 5.0))) (sqrt (+ (* x (+ (+ (+ y (+ z z)) y) t)) (* y 5.0))))
645.0ms
(* x (+ (+ (+ y (+ z z)) y) t))
636.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
564.0ms
(* (/ 1 (sqrt t)) (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t))))
531.0ms
(* (/ (- z t) (* (cbrt (- a t)) (* (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))) (cbrt (cbrt (- a t)))))) (/ y (cbrt (- a t))))
Rules
44010×times-frac
37701×*-un-lft-identity
35448×add-sqr-sqrt
25277×add-cube-cbrt
11190×add-exp-log
8746×add-cbrt-cube
7991×sqrt-prod
7148×associate-*r*
6919×cbrt-prod
6553×pow1
4397×associate-*l*
3846×add-log-exp
3403×prod-exp
3306×distribute-lft-out--
3224×distribute-lft-out
3222×difference-of-squares
3134×associate-/r*
2986×associate-*l/
2935×associate-*r/
2792×flip--
2791×flip3--
2753×cbrt-unprod
2477×associate-/l*
2444×frac-times
2436×div-exp
2289×cbrt-div
2239×div-inv
2020×flip-+
2019×flip3-+
1912×associate-/r/
1907×pow-prod-down
1796×cbrt-undiv
1582×sqrt-div
1484×unswap-sqr
1351×log-prod
1335×frac-sub
1159×unpow-prod-down
1152×distribute-rgt-in distribute-lft-in
899×pow1/3
823×associate-/l/
782×*-commutative
751×swap-sqr
601×sub-neg
499×clear-num frac-2neg
487×sum-log
441×cube-prod
438×sqrt-pow1
406×associate-+l+
366×associate-+r+
351×frac-add
297×associate--l+
294×sqr-pow
290×+-commutative
274×log-pow
269×pow-exp
266×pow1/2
262×pow-prod-up
254×diff-log
247×1-exp
245×rec-exp
213×pow-sqr
164×exp-prod
160×pow-to-exp
126×pow-unpow
119×unpow2
108×div-sub
94×pow-plus
93×rem-sqrt-square
91×distribute-rgt-neg-in distribute-lft-neg-in
87×pow2
82×pow-pow log-div
72×pow-flip
63×associate--r+
62×exp-sum
58×inv-pow
53×distribute-rgt-out--
52×distribute-rgt-neg-out
50×tanh-def
43×un-div-inv
41×associate-+l-
38×rem-log-exp
33×unpow3
29×cube-mult
28×distribute-neg-frac
27×distribute-rgt-out
24×unpow1/3 sqrt-unprod
21×unsub-neg associate-+r-
20×rem-cube-cbrt rem-exp-log
19×exp-to-pow sinh-def
18×sum-cubes
17×cube-div rem-square-sqrt
16×sub-div
14×distribute-lft-neg-out cosh-def
12×neg-mul-1
11×exp-diff difference-cubes
9×distribute-lft1-in associate--r-
8×tan-quot
7×associate--l- distribute-rgt1-in rem-cbrt-cube
6×sqrt-undiv unpow-prod-up diff-cos count-2
4×sqrt-pow2 exp-neg log-rec mul-1-neg
3×neg-log cos-diff neg-sub0 sin-mult
2×pow-sub cos-sum cos-mult
1×e-exp-1

regimes49.3s (5.5%)

Accuracy

Total 216.7b remaining (37.4%)

Threshold costs 28.7b (5%)

14.5b20.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.5b56.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.1b-13.4%Linear.Matrix:det44 from linear-1.19.1.3
10.4b55.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.5b2.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize9.9s (1.1%)

bsearch4.9s (0.5%)

end5.0ms (0.0%)