Date:Tuesday, May 19th, 2020
Commit:6de45b16 on cleanup
Hostname:warfa with Racket 7.5
Seed:2020140
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.6m (29.9%)

Calls

2604 calls:

2.9s
(sqrt (/ (- y z) (/ (+ (- t z) 1.0) a)))
2.6s
(sqrt (/ (- y z) (/ (+ (- t z) 1.0) a)))
1.8s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (neg 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.8s
(/ (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) 3.0) (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (neg 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y))))
959.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

sample4.2m (27.5%)

Algorithm
539×intervals
Results
1.8m2656001×body80valid
28.2s528823×body80nan
18.9s47211×body1280valid
11.1s44339×body640valid
4.1s5550×body2560valid
4.1s24672×body320valid
1.5s13656×body160valid
186.0ms1090×body640nan
167.0ms839×body1280nan
114.0ms45×body5120valid
80.0ms1589×body80overflowed
80.0ms684×body320nan
31.0ms371×body160nan

prune3.7m (23.9%)

Filtered
92037 candidates to 61114 candidates (66.4%)

simplify1.3m (8.3%)

Algorithm
1442×egg-herbie

regimes54.2s (5.9%)

Accuracy

Total 195.0b remaining (35.8%)

Threshold costs 30.6b (5.6%)

13.0b-19.3%Linear.Matrix:det44 from linear-1.19.1.3
12.1b44.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.1b61.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b58.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.6b20.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite26.0s (2.8%)

Algorithm
903×rewrite-expression-head
Calls

2604 calls:

366.0ms
(* (/ (- z t) (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ y (cbrt (- a t))))
217.0ms
(* (* (cosh x) y) (/ (/ 1 z) x))
169.0ms
(* (* y (/ (/ (* (cbrt (- z t)) (cbrt (- z t))) (cbrt (- a t))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ (/ (cbrt (- z t)) (cbrt (- a t))) (cbrt (cbrt (- a t)))))
162.0ms
(* x (- (/ y z) (/ (/ 1 (- 1.0 z)) (/ 1 t))))
142.0ms
(* (/ (sqrt (/ 1.0 x)) (sqrt 9.0)) (/ (sqrt (/ 1.0 x)) (sqrt 9.0)))
Rules
48733×times-frac
40940×*-un-lft-identity
39745×add-sqr-sqrt
27827×add-cube-cbrt
11019×add-exp-log
8884×add-cbrt-cube
8689×sqrt-prod
8027×cbrt-prod
7901×associate-*r*
7751×cbrt-div
6955×pow1
5110×associate-*l*
4178×flip3-- flip--
4066×add-log-exp
3966×frac-times
3763×difference-of-squares
3731×distribute-lft-out--
3181×associate-/r*
3175×prod-exp
3080×distribute-lft-out
2866×associate-*l/
2782×cbrt-unprod
2591×associate-*r/
2534×associate-/r/
2461×associate-/l*
2330×div-inv
2318×div-exp
2179×unpow-prod-down
1980×pow-prod-down
1832×cbrt-undiv
1633×unswap-sqr
1583×log-prod
1571×flip-+ flip3-+
1340×distribute-rgt-in distribute-lft-in
1172×swap-sqr
1043×pow1/3
824×*-commutative
762×sqrt-div
651×frac-add
646×sub-neg
567×frac-sub
544×cube-prod
531×sum-log
522×associate-/l/
520×clear-num frac-2neg
515×sqrt-pow1
474×associate-+l+
381×associate-+r+
357×pow-prod-up
352×exp-sum
330×associate--l+
324×pow1/2
311×sqr-pow
307×+-commutative
297×diff-log
278×pow-sqr
212×log-pow
211×1-exp rec-exp
181×pow-exp
154×pow-unpow
122×pow-plus
115×pow2
111×rem-sqrt-square
107×div-sub
105×pow-to-exp
95×exp-prod
80×pow-pow
69×pow-flip
64×inv-pow
61×log-div unpow2
57×tanh-def
55×associate--r+ distribute-rgt-neg-out
54×cube-div
53×distribute-rgt-out--
50×rem-log-exp
49×unpow3 cube-mult
47×un-div-inv associate-+l-
36×sinh-def
34×cosh-def
32×rem-cube-cbrt
29×distribute-rgt-neg-in distribute-lft-neg-in associate-+r-
28×sqrt-unprod
27×rem-exp-log
24×unsub-neg
22×distribute-rgt-out
21×rem-square-sqrt
19×sub-div rem-cbrt-cube
18×unpow-prod-up
16×distribute-lft-neg-out
12×exp-diff sqrt-undiv
11×neg-mul-1
10×associate--l-
9×associate--r-
8×difference-of-sqr-1
7×unpow1/3 distribute-rgt1-in tan-quot
6×distribute-lft1-in count-2
5×diff-cos log-rec exp-to-pow
4×difference-cubes neg-sub0
3×neg-log sqrt-pow2 cos-diff
2×cos-sum sin-mult
1×pow-sub cos-mult

localize9.6s (1.0%)

bsearch6.1s (0.7%)

end4.0ms (0.0%)

Profiling

Loading profile data...