Date:Monday, March 2nd, 2020
Commit:76ce2b17 on master
Hostname:warfa with Racket 7.5
Seed:2020062
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

prune4.4m (28.9%)

series4.3m (28.2%)

Calls

2490 calls:

5.9s
(pow (+ (* (- (log z) t) y) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))) 3)
3.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.3s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
2.0s
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))

sample3.7m (23.9%)

Algorithm
539×intervals
Results
1.4m2649154×body80valid
21.2s515392×body80nan
17.5s46863×body1280valid
9.7s43637×body640valid
3.9s5726×body2560valid
3.5s24056×body320valid
1.3s13816×body160valid
801.0ms1619×body10240exit
110.0ms44×body5120valid
100.0ms646×body640nan
89.0ms480×body1280nan
47.0ms415×body320nan
16.0ms229×body160nan

simplify1.3m (8.4%)

Algorithm
1415×egg-herbie

regimes51.9s (5.6%)

Accuracy

Total 219.5b remaining (38.2%)

Threshold costs 23.3b (4.1%)

18.6b13.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.0b-27.3%Linear.Matrix:det44 from linear-1.19.1.3
12.5b60.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.2b57.1%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.5b24.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite29.5s (3.2%)

Algorithm
876×rewrite-expression-head
Calls

2490 calls:

1.0s
(* (/ (cbrt 1.0) (/ (sqrt (+ 1.0 (* z z))) (cbrt 1.0))) (/ (/ (/ (cbrt 1.0) y) x) (sqrt (+ 1.0 (* z z)))))
296.0ms
(/ (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (/ (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))) (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))))
208.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
200.0ms
(* (pow (sqrt (sqrt (* (* x 3.0) x))) 3) (sqrt (sqrt (* (* x 3.0) x))))
169.0ms
(* (/ (* (/ 1 (* (cbrt (- y z)) (cbrt (- y z)))) (* (cbrt x) (cbrt x))) (* (cbrt (cbrt (- y z))) (cbrt (cbrt (- y z))))) (/ (/ (cbrt x) (- y t)) (cbrt (cbrt (- y z)))))
Rules
86511×times-frac
75531×*-un-lft-identity
60954×sqrt-prod
50989×add-sqr-sqrt
39430×add-cube-cbrt
16279×distribute-lft-out
12677×add-exp-log
9085×add-cbrt-cube
8861×cbrt-prod
7407×associate-*r*
6281×pow1
6272×cbrt-div
4280×frac-times
4142×associate-*l*
3921×prod-exp
3910×flip3-- flip--
3843×add-log-exp
3815×difference-of-squares
3662×distribute-lft-out--
3564×associate-/r*
3446×associate-*r/
3288×div-exp
3261×associate-/r/
3014×associate-*l/
2985×cbrt-unprod
2795×div-inv
2505×sqrt-div
2437×flip-+ flip3-+
2359×associate-/l*
2222×cbrt-undiv
1945×log-prod
1731×pow-prod-down
1645×unpow-prod-down
1467×distribute-rgt-in distribute-lft-in
1454×unswap-sqr
952×frac-sub
859×pow1/3
763×*-commutative
741×associate-/l/
711×sub-neg
684×swap-sqr
525×clear-num frac-2neg
517×sqrt-pow1
493×cube-prod
455×sum-log
415×associate-+l+
386×associate-+r+
379×associate--l+
369×sqr-pow
364×log-pow
345×1-exp
333×exp-prod
308×exp-sum
293×pow-exp
287×+-commutative diff-log
280×pow1/2
278×rec-exp
252×pow-prod-up
246×frac-add
207×pow-sqr
193×tanh-def
143×pow-to-exp
138×pow-unpow
135×div-sub
117×rem-sqrt-square
100×pow-plus
90×unpow-prod-up
86×pow2
70×unpow2
65×pow-flip
58×inv-pow associate--r+
55×pow-pow
54×log-div
53×rem-log-exp
51×cube-div un-div-inv
48×distribute-rgt-out--
42×distribute-rgt-neg-in
41×unpow3 cube-mult
40×distribute-lft-neg-in
31×distribute-rgt-out distribute-rgt-neg-out
28×sub-div
24×associate-+l-
21×cosh-def
20×neg-mul-1
19×difference-cubes associate-+r-
18×difference-of-sqr-1 unsub-neg
16×rem-cube-cbrt
15×sum-cubes distribute-lft-neg-out associate--r- sinh-def
13×rem-exp-log unpow1/3 sqrt-unprod
12×rem-square-sqrt
11×associate--l-
9×exp-diff
8×log-rec exp-to-pow
7×distribute-lft1-in distribute-rgt1-in neg-sub0 rem-cbrt-cube tan-quot
6×diff-cos count-2 neg-log
4×pow-sub sqrt-undiv cos-mult
3×pow-div mul-1-neg cos-diff
2×cos-sum sqrt-pow2 e-exp-1 exp-neg sqr-cos
1×remove-double-div distribute-frac-neg sum-cos

localize9.7s (1.1%)

bsearch6.3s (0.7%)

end5.0ms (0.0%)