Details

Time bar (total: 16.2s)

sample64.0ms

Algorithm
intervals
Results
13.0ms188×body80valid
8.0ms158×body80nan
7.0ms19×body1280valid
6.0ms23×body640valid
4.0ms13×body1280nan
3.0ms17×body320valid
1.0ms7×body640nan
1.0ms9×body160valid
1.0ms4×body320nan
0.0ms3×body160nan

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11912
22912
34112
47512
512412
620812
732012
877212
9304512
done500112

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.6b

localize16.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)))
5.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite183.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
3×associate--r-
2×sub-neg diff-log div-sub associate-/r/ log-pow associate-/l/
1×cbrt-undiv frac-2neg div-exp rem-log-exp clear-num div-inv
Counts
4 → 108
Calls
4 calls:
51.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
38.0ms
(/ (- x y) (- 1.0 y))
54.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
36.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series396.0ms

Counts
4 → 12
Calls
4 calls:
144.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
47.0ms
(/ (- x y) (- 1.0 y))
67.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
138.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify828.0ms

Counts
120 → 120
Iterations

Useful iterations: 2 (325.0ms)

IterNodesCost
02051894
14981792
217221680
done50001680

prune401.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (- 1.0 y))
0.1b
(* (- x y) (/ 1 (- 1.0 y)))
5.2b
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
5.7b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
42×*-un-lft-identity
32×times-frac
25×add-cube-cbrt
21×associate-*r*
18×add-exp-log
11×add-cbrt-cube
8×pow1 distribute-lft-out-- difference-of-squares
6×flip3-- flip-- add-log-exp
5×associate-*l* associate-/r*
4×div-exp prod-exp associate-/r/
3×log-prod associate-/l* unswap-sqr
2×cbrt-undiv frac-times log-div rec-exp 1-exp associate-*l/ cbrt-unprod div-inv
1×sub-neg pow-flip frac-2neg diff-log associate-*r/ rem-log-exp pow-prod-down clear-num log-pow un-div-inv *-commutative inv-pow
Counts
4 → 117
Calls
4 calls:
19.0ms
(/ 1 (- 1.0 y))
75.0ms
(* (- x y) (/ 1 (- 1.0 y)))
4.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
6.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series267.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(/ 1 (- 1.0 y))
60.0ms
(* (- x y) (/ 1 (- 1.0 y)))
120.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
64.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify4.3s

Counts
129 → 129
Iterations

Useful iterations: done (4.3s)

IterNodesCost
02051754
15081551
233811279
done50001277

prune370.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

2.8b
(- 1.0 (/ (- x y) (- 1.0 y)))
5.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
5.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
5.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
18×log-prod
15×*-un-lft-identity
8×difference-of-squares
7×pow1 add-exp-log add-cube-cbrt
6×log-div add-log-exp
4×flip3-- times-frac add-cbrt-cube flip-- distribute-lft-out--
3×rem-log-exp log-pow
1×sub-neg diff-log div-sub associate--r-
Counts
4 → 67
Calls
4 calls:
43.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
39.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
39.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
33.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series451.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
107.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
127.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
134.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify1.3s

Counts
79 → 79
Iterations

Useful iterations: 2 (114.0ms)

IterNodesCost
0911427
11981376
25861229
326331229
done50021229

prune451.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))
1.8b
(log (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
2.8b
(- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))
5.2b
(log (+ 1.0 (/ (- x y) (- 1.0 y))))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
240×*-un-lft-identity
166×add-sqr-sqrt
152×times-frac
76×distribute-lft-out--
58×add-cube-cbrt
55×swap-sqr
50×difference-of-squares
31×associate-*r* associate-*l*
18×add-exp-log
16×add-cbrt-cube
13×pow1
8×log-prod associate-/r/
6×flip3-- flip-- add-log-exp
4×cbrt-undiv log-div div-exp prod-exp cbrt-unprod div-inv unswap-sqr
2×rem-log-exp log-pow
1×pow2 frac-times sub-neg flip3-+ pow-plus diff-log associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up flip-+ distribute-lft-out
Counts
4 → 188
Calls
4 calls:
105.0ms
(* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))
14.0ms
(log (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
8.0ms
(- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))
56.0ms
(log (+ 1.0 (/ (- x y) (- 1.0 y))))

series663.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))
384.0ms
(log (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
122.0ms
(- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))
98.0ms
(log (+ 1.0 (/ (- x y) (- 1.0 y))))

simplify615.0ms

Counts
200 → 200
Iterations

Useful iterations: done (603.0ms)

IterNodesCost
02974896
19684464
done50014081

prune594.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

regimes346.0ms

Accuracy

99.6% (0.1b remaining)

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

bsearch2.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02542
13042
done3042

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.0s5619×body80valid
318.0ms838×body1280valid
307.0ms859×body640valid
245.0ms3859×body80nan
150.0ms363×body1280nan
122.0ms441×body320valid
120.0ms364×body640nan
34.0ms243×body160valid
34.0ms200×body320nan
12.0ms112×body160nan