Date:Friday, July 17th, 2020
Commit:5d628957 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020199
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

sample3.6min (25.7%)

Algorithm
539×intervals
Results
1.2min2098736×body80valid
25.4s289127×body80invalid
18.2s40613×body1280valid
11.8s41747×body640valid
6.1s88872×body80nan
4.4s22523×body320valid
4.3s5587×body2560valid
2.0s6736×body1280invalid
1.4s11874×body160valid
1.3s6676×body640invalid
545.0ms3712×body320invalid
209.0ms2237×body160invalid
176.0ms826×body1280nan
175.0ms1017×body640nan
107.0ms40×body5120valid
82.0ms658×body320nan
45.0ms832×body80overflowed
27.0ms326×body160nan

prune2.8min (20.4%)

Filtered
88204 candidates to 59184 candidates (32.9%)

series2.3min (16.6%)

Calls

2649 calls:

1.3min
(- (* x (* y (* x y))) (pow (+ (* z t) (+ (* a b) (* c i))) 2))
1.9s
(pow (+ (* z t) (+ (* a b) (* c i))) 3)
668.0ms
(/ (* (cbrt (- (pow (log z) 2) (* z z))) (cbrt (- (pow (log z) 2) (* z z)))) (* (cbrt (+ z (log z))) (cbrt (+ z (log z)))))
553.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
532.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))

analyze1.8min (13.1%)

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 (12.0%)

Accuracy

Total 203.7b remaining (38.4%)

Threshold costs 29.4b (5.6%)

16.0b21.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b-10.4%Linear.Matrix:det44 from linear-1.19.1.3
11.3b62.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b59.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.1b20.2%Linear.Matrix:det33 from linear-1.19.1.3

simplify1.0min (7.5%)

Algorithm
1437×egg-herbie

rewrite24.9s (3.0%)

Algorithm
898×rewrite-expression-head
Calls

2649 calls:

279.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))))))))
202.0ms
(* (- x y) (/ 1 (- z y)))
144.0ms
(+ x (/ 1 (/ (/ (/ 1 z) 6.0) (- y x))))
103.0ms
(+ x (/ (/ y (- a t)) (/ 1 (- z t))))
87.0ms
(* (/ (pow a t) (/ (exp b) (pow a (neg 1.0)))) (/ (pow z y) y))
Rules
33731×*-un-lft-identity
32901×add-sqr-sqrt
32334×times-frac
20944×add-cube-cbrt
11562×add-exp-log
9835×associate-*r/
8944×cbrt-div
8778×add-cbrt-cube
7675×associate-*r*
7326×cbrt-prod
7275×pow1
6979×frac-times
5276×sqrt-prod
4526×associate-*l*
4372×frac-sub
4251×flip-- flip3--
4064×difference-of-squares
3891×add-log-exp
3801×distribute-lft-out--
3735×prod-exp
2859×cbrt-unprod
2809×distribute-lft-out
2685×associate-/r/
2670×associate-/r*
2666×tanh-def-b tanh-def-a tanh-def-c
2621×associate-*l/
2441×div-exp
2439×unpow-prod-down
2185×pow-prod-down
2095×associate-/l*
1946×flip-+ flip3-+
1648×div-inv
1558×unswap-sqr
1484×cbrt-undiv
1073×pow1/3
1058×cube-prod
1049×log-prod
1027×distribute-rgt-in distribute-lft-in
999×sqrt-div
865×*-commutative
856×swap-sqr
701×frac-add
663×sub-neg
642×associate-/l/
592×sqrt-pow1
526×sqr-pow
471×sum-log
448×clear-num frac-2neg
365×associate-+r+
335×log-pow
317×pow1/2 pow-prod-up
308×+-commutative
303×pow-exp
301×exp-prod
267×pow-to-exp
249×1-exp
247×rec-exp
231×pow-sqr
228×associate-+l+ associate--l+
218×diff-log
204×pow-unpow
149×pow-pow
122×rem-sqrt-square
119×div-sub
118×pow-plus
100×pow2
74×pow-flip
69×cube-div
68×cube-mult unpow3
58×log-div
55×inv-pow
42×un-div-inv
41×rem-cube-cbrt
39×rem-log-exp
36×distribute-rgt-neg-out
34×associate-+r- unpow2
30×exp-sum
29×distribute-rgt-out
26×associate-+l-
25×distribute-rgt-out--
24×cosh-def sqrt-unprod
23×sum-cubes
22×distribute-rgt-neg-in pow-sub
21×rem-exp-log
19×difference-cubes rem-cbrt-cube
18×neg-sub0 distribute-lft-neg-in unsub-neg pow-neg
17×sinh-def rem-square-sqrt
14×unpow-prod-up
13×associate--r+
12×sub-div
11×sqrt-pow2 exp-diff
10×distribute-rgt1-in
8×associate--l- tan-quot difference-of-sqr--1
7×distribute-lft1-in pow3
6×diff-cos unpow1/3 count-2
4×sqrt-undiv associate--r-
3×cos-diff neg-mul-1
1×cos-sum exp-to-pow sin-mult

localize9.7s (1.2%)

bsearch3.7s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...