Details

Time bar (total: 28.8s)

sample86.0ms

Algorithm
intervals
Results
23.0ms23×body1280valid
14.0ms181×body80valid
9.0ms31×body640valid
6.0ms109×body80nan
4.0ms16×body640nan
4.0ms13×body1280nan
2.0ms10×body320valid
1.0ms9×body320nan
1.0ms11×body160valid
1.0ms6×body160nan

simplify22.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09273
119273
229273
340273
453273
565273
675273
786273
8126273
9273273
10360273
11406273
12428273
13451273
14472273
15493273
16515273
17534273
18555273
19578273
20598273
21617273
22640273
23661273
24681273
25701273
26722273
27743273
28765273
29784273
30805273
31828273
32848273
33867273
34892273
35913273
36933273
37953273
38974273
39995273
401017273
411036273
421057273
431080273
441100273
451119273
461144273
471165273
481185273
491205273
501226273
511247273
521269273
531288273
541309273
551332273
561352273
571371273
581394273
591415273
601435273
611457273
621478273
631499273
641521273
651540273
661561273
671584273
681604273
691623273
701646273
711667273
721687273
731707273
741728273
751749273
761771273
771790273
781811273
791834273
801854273
811873273
821898273
831919273
841939273
851959273
861980273
872001273
882023273
892042273
902063273
912086273
922106273
932125273
942148273
952169273
962189273
972211273
982232273
992253273
1002275273
1012294273
1022315273
1032338273
1042358273
1052377273
1062400273
1072421273
1082441273
1092461273
1102482273
1112503273
1122525273
1132544273
1142565273
1152588273
1162608273
1172627273
1182652273
1192673273
1202693273
1212713273
1222734273
1232755273
1242777273
1252796273
1262817273
1272840273
1282860273
1292879273
1302902273
1312923273
1322943273
1332963273
1342984273
1353005273
1363027273
1373046273
1383067273
1393090273
1403110273
1413129273
1423154273
1433175273
1443195273
1453219273
1463240273
1473261273
1483283273
1493302273
1503323273
1513346273
1523366273
1533385273
1543408273
1553429273
1563449273
1573471273
1583492273
1593513273
1603535273
1613554273
1623575273
1633598273
1643618273
1653637273
1663662273
1673683273
1683703273
1693725273
1703746273
1713767273
1723789273
1733808273
1743829273
1753852273
1763872273
1773891273
1783916273
1793937273
1803957273
1813977273
1823998273
1834019273
1844041273
1854060273
1864081273
1874104273
1884124273
1894143273
1904166273
1914187273
1924207273
1934227273
1944248273
1954269273
1964291273
1974310273
1984331273
1994354273
2004374273
2014393273
2024416273
2034437273
2044457273
2054479273
2064500273
2074521273
2084543273
2094562273
2104583273
2114606273
2124626273
2134645273
2144670273
2154691273
2164711273
2174733273
2184754273
2194775273
2204797273
2214816273
2224837273
2234860273
2244880273
2254899273
2264924273
2274945273
2284965273
2294985273
done5000273

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.4b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
2.8b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.8b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
192×add-sqr-sqrt
184×*-un-lft-identity
105×prod-diff
103×times-frac
91×add-cube-cbrt
49×difference-of-squares
47×distribute-lft-out--
12×log-prod
9×pow1 flip3-- flip--
8×associate-/r/
7×add-exp-log add-log-exp
6×add-cbrt-cube fma-neg associate--r+
5×associate-/r* log-pow associate-/l*
4×expm1-log1p-u log-div log1p-expm1-u div-inv
3×associate--r-
2×sub-neg diff-log div-sub associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp rem-log-exp
Counts
4 → 227
Calls
4 calls:
39.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
19.0ms
(/ (- x y) (- 1.0 y))
64.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
43.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series377.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
47.0ms
(/ (- x y) (- 1.0 y))
66.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
140.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify4.0s

Counts
239 → 239
Iterations

Useful iterations: done (3.9s)

IterNodesCost
0389134656
11022123308
22844110000
done5000104103

prune1.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize75.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 1.0 y))
0.2b
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
3.8b
(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
11.6b
(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
33×cbrt-prod
32×*-un-lft-identity
16×add-cube-cbrt
14×cbrt-div
12×pow1
10×swap-sqr
9×flip3-- flip--
8×associate-*r* associate-*l*
7×pow1/3 add-exp-log distribute-lft-out--
6×add-log-exp
5×difference-of-squares
4×expm1-log1p-u frac-times add-cbrt-cube log1p-expm1-u unswap-sqr
3×log-prod fma-neg prod-diff
2×log-div pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 sub-neg pow-plus diff-log rem-log-exp prod-exp log-pow *-commutative cbrt-unprod
Counts
4 → 111
Calls
4 calls:
6.0ms
(cbrt (- 1.0 y))
30.0ms
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
4.0ms
(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
9.0ms
(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

series488.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(cbrt (- 1.0 y))
154.0ms
(* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))
116.0ms
(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
74.0ms
(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

simplify253.0ms

Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
023152984