Details

Time bar (total: 8.2s)

sample74.0ms

Algorithm
intervals
Results
17.0ms177×body80valid
10.0ms27×body1280valid
9.0ms33×body640valid
5.0ms94×body80nan
3.0ms15×body320valid
3.0ms9×body1280nan
2.0ms9×body640nan
1.0ms8×body320nan
1.0ms5×body160nan
1.0ms4×body160valid

simplify10.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.9b

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))
1.8b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite187.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:
44.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
31.0ms
(/ (- x y) (- 1.0 y))
43.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
65.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series353.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
55.0ms
(/ (- x y) (- 1.0 y))
74.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
105.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify76.0ms

Counts
120 → 120

prune416.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

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

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

series481.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(/ (- x y) (- 1.0 y))
199.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
146.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
81.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify53.0ms

Counts
156 → 156

prune583.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (* (sqrt (exp 1.0)) (/ (sqrt (exp 1.0)) (- 1.0 (/ (- 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.8b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite419.0ms

Algorithm
rewrite-expression-head
Rules
132×add-sqr-sqrt
90×times-frac
74×*-un-lft-identity
47×sqrt-prod
46×add-cube-cbrt
42×associate-*r*
28×difference-of-squares
17×add-exp-log
14×distribute-lft-out--
11×add-cbrt-cube
9×pow1
6×associate-*l* associate-/r* associate-/l* add-log-exp unswap-sqr
4×prod-exp associate-/r/
3×flip3-- div-exp rem-log-exp flip--
2×cbrt-undiv associate-*r/ pow-prod-down log-pow cbrt-unprod div-inv
1×sub-neg log-div log-prod frac-2neg diff-log div-sub clear-num *-commutative associate--r-
Counts
4 → 160
Calls
4 calls:
77.0ms
(log (* (sqrt (exp 1.0)) (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))))
97.0ms
(/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))
194.0ms
(* (sqrt (exp 1.0)) (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y)))))
38.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series762.0ms

Counts
4 → 12
Calls
4 calls:
232.0ms
(log (* (sqrt (exp 1.0)) (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))))
275.0ms
(/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y))))
174.0ms
(* (sqrt (exp 1.0)) (/ (sqrt (exp 1.0)) (- 1.0 (/ (- x y) (- 1.0 y)))))
81.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify75.0ms

Counts
172 → 172

prune656.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize22.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.8b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite140.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:
41.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
25.0ms
(/ (- x y) (- 1.0 y))
38.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
33.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series414.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
64.0ms
(/ (- x y) (- 1.0 y))
73.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
127.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify102.0ms

Counts
120 → 120

prune388.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes244.0ms

Accuracy

99.3% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 18.3b

bsearch108.0ms

Steps
ItersRangePoint
10
32504.544960343763
3.126327346790085e+21
51008935.552216
4
-55160116101.75171
-29036677143.031624
-29528028708.401756

simplify141.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
529.0ms3867×body80nan
435.0ms5689×body80valid
280.0ms871×body1280valid
202.0ms771×body640valid
113.0ms362×body1280nan
93.0ms379×body640nan
58.0ms429×body320valid
29.0ms240×body320nan
23.0ms240×body160valid
9.0ms114×body160nan