Details

Time bar (total: 4.9s)

sample76.0ms

Algorithm
intervals
Results
16.0ms165×body80valid
13.0ms40×body1280valid
9.0ms132×body80nan
6.0ms26×body640valid
4.0ms11×body160valid
4.0ms14×body1280nan
3.0ms13×body640nan
3.0ms14×body320valid
1.0ms4×body320nan
0.0ms3×body160nan

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0196
1296
2416
3606
4786
5946
61096
71396
82146
92796
102796

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.5b

localize9.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))
3.0b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.7b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite108.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×fma-neg add-cbrt-cube 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 frac-2neg div-exp rem-log-exp clear-num
Counts
4 → 227
Calls
4 calls:
24.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
12.0ms
(/ (- x y) (- 1.0 y))
30.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
29.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series266.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
39.0ms
(/ (- x y) (- 1.0 y))
54.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
86.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify97.0ms

Algorithm
egg-herbie
Counts
239 → 239
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
09864621
132403344
250013134

prune402.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
0.1b
(* (- x y) (/ 1 (- 1.0 y)))
3.7b
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
5.6b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
38×*-un-lft-identity
26×add-cube-cbrt
21×associate-*r*
17×times-frac
15×prod-diff
14×add-exp-log
11×pow1
9×add-cbrt-cube
7×flip3-- flip-- add-log-exp
6×log-prod fma-neg distribute-lft-out--
5×associate-*l* log-pow difference-of-squares
4×expm1-log1p-u log-div prod-exp log1p-expm1-u
3×associate--r+ unswap-sqr
2×frac-times sub-neg diff-log div-exp associate-*l/ associate-/r/ cbrt-unprod associate--r-
1×cbrt-undiv rec-exp 1-exp associate-*r/ rem-log-exp pow-prod-down un-div-inv *-commutative div-inv
Counts
4 → 125
Calls
4 calls:
5.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
24.0ms
(* (- x y) (/ 1 (- 1.0 y)))
2.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
3.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series255.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
36.0ms
(* (- x y) (/ 1 (- 1.0 y)))
80.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
52.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify69.0ms

Algorithm
egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
06021451
124391102
250021066

prune288.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize12.0ms

Local error

Found 4 expressions with local error:

3.7b
(log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
3.7b
(log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
5.6b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
5.6b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt add-cube-cbrt log-prod *-un-lft-identity
8×pow1 add-log-exp
6×add-exp-log fma-neg prod-diff sqrt-prod log-pow
4×expm1-log1p-u log-div flip3-- sqrt-div add-cbrt-cube flip-- log1p-expm1-u
2×sub-neg sqrt-pow1 pow1/2 diff-log rem-log-exp
Counts
4 → 82
Calls
4 calls:
2.0ms
(log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
5.0ms
(log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
3.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
3.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series353.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
124.0ms
(log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
53.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
51.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify94.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 3 (84.0ms)

IterNodesCost
0240990
1748866
24030848
35001840

prune301.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize15.0ms

Local error

Found 4 expressions with local error:

3.7b
(log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
4.2b
(log1p (expm1 (log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))))
5.6b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
5.6b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×add-log-exp
6×pow1 log-prod fma-neg prod-diff
5×add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×flip3-- sqrt-prod log-pow flip--
2×sub-neg log-div sqrt-div diff-log
1×log1p-udef sqrt-pow1 pow1/2 log1p-expm1 rem-log-exp
Counts
4 → 72
Calls
4 calls:
2.0ms
(log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
0.0ms
(log1p (expm1 (log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))))
3.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
3.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series438.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
213.0ms
(log1p (expm1 (log (sqrt (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))))
48.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
51.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify109.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 3 (100.0ms)

IterNodesCost
0268838
1815722
24239704
35001696

prune314.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

regimes106.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 18.6b

bsearch147.0ms

Steps
ItersRangePoint
11
2982023.6024327357
3.229973857176562e+34
2.9848170643712967e+20
7
-3246994039.700852
-145333058.0278791
-217320262.81325468

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03628
13628

end0.0ms

sample1.4s

Algorithm
intervals
Results
380.0ms5591×body80valid
200.0ms867×body1280valid
187.0ms3773×body80nan
134.0ms797×body640valid
67.0ms363×body1280nan
63.0ms489×body320valid
56.0ms373×body640nan
25.0ms219×body320nan
24.0ms256×body160valid
10.0ms129×body160nan