Details

Time bar (total: 14.9s)

sample72.0ms

Algorithm
intervals
Results
16.0ms192×body80valid
11.0ms25×body1280valid
9.0ms25×body640valid
9.0ms131×body80nan
4.0ms11×body1280nan
4.0ms12×body640nan
2.0ms8×body320nan
2.0ms8×body320valid
1.0ms6×body160valid
1.0ms5×body160nan

simplify210.0ms

Counts
1 → 1
Iterations
IterNodes
done330
12330
11328
10312
9273
8189
7109
694
584
466
341
229
119
09

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.6b

localize23.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))
1.7b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
51×*-un-lft-identity
28×times-frac
19×difference-of-squares
18×add-cube-cbrt
17×distribute-lft-out--
12×log-prod
7×add-exp-log add-log-exp
6×pow1 flip3-- add-cbrt-cube flip-- associate--r+
5×associate-/r* associate-/l*
4×log-div insert-posit16
3×associate--r-
2×sub-neg diff-log div-sub associate-/r/ log-pow associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp rem-log-exp div-inv
Counts
4 → 112
Calls
4 calls:
39.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
21.0ms
(/ (- x y) (- 1.0 y))
22.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
20.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series424.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
53.0ms
(/ (- x y) (- 1.0 y))
93.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
147.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify1.2s

Counts
124 → 124
Iterations
IterNodes
done5001
21419
1502
0208

prune604.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
0.1b
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
1.7b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
101×add-sqr-sqrt
77×*-un-lft-identity
69×times-frac
37×add-cube-cbrt
28×difference-of-squares
24×log-prod
20×distribute-lft-out--
11×associate-/r*
9×add-exp-log
8×add-cbrt-cube associate-/l*
6×associate-/r/ add-log-exp
5×pow1 flip3-- flip--
4×insert-posit16
3×div-exp div-inv
2×cbrt-undiv clear-num frac-2neg div-sub rem-log-exp associate-/l/
1×log-div sub-neg diff-log log-pow associate--r-
Counts
4 → 148
Calls
4 calls:
42.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
32.0ms
(/ (- x y) (- 1.0 y))
61.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
20.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series572.0ms

Counts
4 → 12
Calls
4 calls:
232.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
46.0ms
(/ (- x y) (- 1.0 y))
219.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
75.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify1.4s

Counts
160 → 160
Iterations
IterNodes
done5000
21743
1656
0272

prune779.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
0.1b
(/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))
0.5b
(* (sqrt (exp 1.0)) (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y)))))
1.7b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
168×add-sqr-sqrt
115×times-frac
110×*-un-lft-identity
58×add-cube-cbrt
47×sqrt-prod
42×associate-*r*
40×difference-of-squares
26×distribute-lft-out--
13×add-cbrt-cube add-exp-log
11×associate-/r* associate-/l*
6×pow1 associate-*l* associate-/r/ add-log-exp unswap-sqr
5×flip3-- flip--
4×insert-posit16
3×cbrt-undiv div-exp div-inv
2×clear-num frac-2neg div-sub prod-exp cbrt-unprod associate-/l/
1×sub-neg diff-log pow-prod-down associate-*r/ *-commutative associate--r-
Counts
4 → 202
Calls
4 calls:
18.0ms
(/ (- x y) (- 1.0 y))
60.0ms
(/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))
127.0ms
(* (sqrt (exp 1.0)) (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y)))))
36.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series604.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(/ (- x y) (- 1.0 y))
275.0ms
(/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))
186.0ms
(* (sqrt (exp 1.0)) (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y)))))
75.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify1.7s

Counts
214 → 214
Iterations
IterNodes
done5001
22337
1742
0294

prune920.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize85.0ms

Local error

Found 4 expressions with local error:

3.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×log-prod
16×*-un-lft-identity
8×pow1 log-div add-exp-log add-cube-cbrt difference-of-squares
4×times-frac flip3-- add-cbrt-cube rem-log-exp log-pow insert-posit16 flip-- distribute-lft-out-- add-log-exp
Counts
4 → 72
Calls
4 calls:
20.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
31.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
29.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
24.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series546.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
138.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
142.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
127.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify1.1s

Counts
84 → 84
Iterations
IterNodes
done5001
31446
2414
1161
074

prune660.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes347.0ms

Accuracy

99.2% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 18.2b

bsearch1.0ms

simplify7.0ms

Iterations
IterNodes
done25
125
022

end0.0ms

sample3.0s

Algorithm
intervals
Results
675.0ms3674×body80nan
604.0ms5636×body80valid
437.0ms849×body1280valid
336.0ms823×body640valid
233.0ms380×body1280nan
150.0ms382×body640nan
137.0ms440×body320valid
72.0ms252×body160valid
56.0ms232×body320nan
18.0ms126×body160nan