Date:Wednesday, July 22nd, 2020
Commit:750605db on cleanup
Hostname:warfa with Racket 7.5
Seed:2020204
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

Time bar (total: 12.7min)

sample3.6min (28.5%)

Algorithm
539×intervals
Results
1.2min2098010×body80valid
25.6s290391×body80invalid
18.5s40748×body1280valid
12.1s42032×body640valid
6.3s89570×body80nan
4.5s22738×body320valid
4.4s5668×body2560valid
2.0s6781×body1280invalid
1.5s11877×body160valid
1.3s6582×body640invalid
557.0ms3888×body320invalid
209.0ms2228×body160invalid
182.0ms851×body1280nan
173.0ms989×body640nan
130.0ms47×body5120valid
82.0ms627×body320nan
49.0ms844×body80overflowed
33.0ms375×body160nan

prune2.7min (21.4%)

analyze1.8min (14.5%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14

regimes1.7min (13.2%)

Accuracy

Total 233.8b remaining (43%)

Threshold costs 26.0b (4.8%)

18.2b1270.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
16.9b4670.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
15.7b-5.9%Linear.Matrix:det44 from linear-1.19.1.3
10.3b5741.1%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.6b6175.5%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

series1.2min (9.3%)

Calls

2664 calls:

6.1s
(sqrt (pow (+ (* x y) (+ (* z t) (* a b))) 3))
5.9s
(sqrt (pow (+ (* x y) (+ (* z t) (* a b))) 3))
3.3s
(/ (* (cbrt (+ (* 1.0 1.0) (* (- 1.0 y) (* z (* z (- y 1.0)))))) (* (cbrt (+ (* 1.0 1.0) (* (- 1.0 y) (* z (* z (- y 1.0)))))) x)) (* (cbrt (- 1.0 (* z (- y 1.0)))) (cbrt (- 1.0 (* z (- y 1.0))))))
1.8s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)
517.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))

simplify1.0min (7.9%)

Algorithm
1441×egg-herbie

rewrite23.7s (3.1%)

Algorithm
902×rewrite-expression-head
Rules
29713×*-un-lft-identity
28513×add-sqr-sqrt
24498×times-frac
18010×add-cube-cbrt
12465×add-exp-log
9283×add-cbrt-cube
7783×cbrt-prod
7515×associate-*r*
7440×pow1
6965×sqrt-prod
4822×associate-*l*
4425×prod-exp
3883×add-log-exp
3422×difference-of-squares
3282×cbrt-unprod
3150×distribute-lft-out
2885×distribute-lft-out--
2461×div-exp
2394×associate-*r/
2325×pow-prod-down
2316×cbrt-div
2232×associate-/r*
2076×flip-- flip3--
2034×unpow-prod-down
1926×associate-/l*
1743×associate-/r/
1676×frac-times
1674×associate-*l/
1584×flip-+ flip3-+
1555×unswap-sqr
1550×cbrt-undiv
1272×div-inv
1112×pow1/3
1078×log-prod
986×swap-sqr
928×cube-prod
907×*-commutative
895×distribute-rgt-in distribute-lft-in
824×sqrt-div
579×sqrt-pow1
565×sub-neg
521×sqr-pow
464×associate-/l/
454×sum-log
447×clear-num frac-2neg
331×pow1/2
318×pow-prod-up
310×associate-+r+
309×1-exp
308×rec-exp
307×pow-exp
293×+-commutative
267×pow-to-exp
245×pow-sqr
234×frac-sub
218×diff-log
204×associate-+l+
201×frac-add
200×log-pow
186×pow-unpow
173×associate--l+
171×exp-prod
121×pow-pow
117×rem-sqrt-square
109×pow-plus
107×div-sub
104×pow2
88×cube-div pow-flip
85×tanh-def-b tanh-def-a tanh-def-c
80×cube-mult unpow3
65×inv-pow
62×un-div-inv
57×log-div
46×rem-log-exp
40×distribute-rgt-neg-out unpow2
33×associate--r+
32×associate-+r-
29×exp-sum
27×cosh-def sqrt-unprod rem-cube-cbrt
24×distribute-lft-neg-in distribute-rgt-neg-in
23×sinh-def distribute-rgt-out--
20×rem-square-sqrt distribute-rgt-out
19×rem-cbrt-cube
15×unsub-neg rem-exp-log
13×sub-div
12×difference-cubes associate-+l-
9×sqrt-undiv sum-cubes
8×diff-cos
7×distribute-rgt1-in exp-diff
6×sqrt-pow2 difference-of-sqr--1
5×neg-mul-1 distribute-lft1-in unpow1/3 count-2
4×associate--l- unpow-prod-up pow3 pow-sub
3×cos-diff associate--r-
2×tan-quot
1×cos-sum remove-double-div sub0-neg
Calls

2664 calls:

200.0ms
(* (sqrt (* (- y x) z)) (sqrt (* (- y x) z)))
118.0ms
(* (/ (- y z) (* (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z)))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
115.0ms
(* (/ (- y z) (* (cbrt (- a z)) (* (cbrt (- a z)) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))))) (/ (- t x) (cbrt (cbrt (- a z)))))
67.0ms
(- (cbrt (pow (/ x (- 2.0 (+ x y))) 3)) (/ y (- 2.0 (+ x y))))
65.0ms
(- (/ x (- t (* z a))) (pow (/ 1 (/ (- (/ t z) a) y)) 1))

localize9.9s (1.3%)

bsearch5.1s (0.7%)

end4.0ms (0%)

Profiling

Loading profile data...