Details

Time bar (total: 21.0s)

sample80.0ms

Algorithm
intervals
Results
14.0ms180×body80valid
11.0ms27×body1280valid
8.0ms26×body640valid
8.0ms127×body80nan
3.0ms15×body320valid
3.0ms9×body1280nan
3.0ms10×body640nan
1.0ms7×body320nan
1.0ms8×body160valid
1.0ms5×body160nan

simplify1.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.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: 18.9b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
0.0b
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
2.3b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.3b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite259.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:
40.0ms
(/ (- x y) (- 1.0 y))
75.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
57.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
71.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series359.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(/ (- x y) (- 1.0 y))
142.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
57.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
96.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify2.5s

Counts
239 → 239
Iterations

Useful iterations: done (2.4s)

IterNodesCost
03908619
110297668
242445877
done50005876

prune716.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.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
0.1b
(* (- x y) (/ 1 (- 1.0 y)))
4.3b
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
5.2b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite122.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:
19.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
77.0ms
(* (- x y) (/ 1 (- 1.0 y)))
9.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
9.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series366.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
46.0ms
(* (- x y) (/ 1 (- 1.0 y)))
107.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
94.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify6.4s

Counts
137 → 137
Iterations

Useful iterations: done (6.4s)

IterNodesCost
02493041
16412457
243201851
done50001850

prune388.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3))
0.3b
(pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3)
2.3b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.3b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
154×add-sqr-sqrt
152×*-un-lft-identity
93×prod-diff
77×times-frac
76×add-cube-cbrt
40×distribute-lft-out--
38×difference-of-squares
18×cbrt-prod
12×unpow-prod-down cube-prod
10×pow1
7×flip3-- flip--
6×add-exp-log log-prod associate-/r/ add-log-exp
5×log-pow add-cbrt-cube
4×cube-div expm1-log1p-u log1p-expm1-u
3×pow-unpow fma-neg div-inv
2×cube-mult log-div cbrt-div unpow3 sqr-pow
1×pow-to-exp sub-neg pow-pow pow1/3 diff-log div-sub rem-log-exp pow-exp rem-cbrt-cube associate--r- rem-cube-cbrt
Counts
4 → 197
Calls
4 calls:
10.0ms
(cbrt (pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3))
11.0ms
(pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3)
47.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
55.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series1.0s

Counts
4 → 12
Calls
4 calls:
147.0ms
(cbrt (pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3))
672.0ms
(pow (- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y))))) 3)
74.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
124.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify789.0ms

Counts
209 → 209
Iterations

Useful iterations: done (777.0ms)

IterNodesCost
05138628
115067782
done50016214

prune790.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))
2.3b
(- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))
4.3b
(log (/ (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (+ (/ (- x y) (- 1.0 y)) 1.0)))
7.1b
(/ (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (+ (/ (- x y) (- 1.0 y)) 1.0))

rewrite412.0ms

Algorithm
rewrite-expression-head
Rules
273×*-un-lft-identity
184×times-frac
183×add-sqr-sqrt
76×distribute-lft-out--
75×add-cube-cbrt
58×difference-of-squares
55×swap-sqr
31×associate-*r* associate-*l*
22×log-prod
21×add-exp-log
18×add-cbrt-cube
12×pow1 associate-/r/
9×distribute-lft-out
6×flip3-- div-exp flip-- div-inv add-log-exp
5×cbrt-undiv
4×expm1-log1p-u prod-exp associate-/r* cbrt-unprod log1p-expm1-u associate-/l* unswap-sqr
2×flip3-+ rem-log-exp flip-+ associate-/l/
1×pow2 frac-times sub-neg log-div frac-2neg pow-plus fma-neg diff-log div-sub associate-*r/ prod-diff pow-prod-down associate-*l/ clear-num pow-sqr log-pow *-commutative pow-prod-up
Counts
4 → 242
Calls
4 calls:
125.0ms
(* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))
12.0ms
(- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))
93.0ms
(log (/ (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (+ (/ (- x y) (- 1.0 y)) 1.0)))
158.0ms
(/ (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (+ (/ (- x y) (- 1.0 y)) 1.0))

series738.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))
140.0ms
(- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))
295.0ms
(log (/ (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (+ (/ (- x y) (- 1.0 y)) 1.0)))
213.0ms
(/ (- (* 1.0 1.0) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))) (+ (/ (- x y) (- 1.0 y)) 1.0))

simplify643.0ms

Counts
254 → 254
Iterations

Useful iterations: done (624.0ms)

IterNodesCost
03567723
111677250
done50016767

prune828.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

regimes358.0ms

Accuracy

99.6% (0.1b remaining)

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

bsearch2.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02441
12741
done2741

end0.0ms

sample2.5s

Algorithm
intervals
Results
654.0ms3774×body80nan
431.0ms5686×body80valid
330.0ms796×body1280valid
177.0ms780×body640valid
158.0ms361×body1280nan
110.0ms485×body320valid
75.0ms384×body640nan
32.0ms225×body320nan
30.0ms253×body160valid
13.0ms138×body160nan