Details

Time bar (total: 12.8s)

sample31.0ms

Algorithm
intervals
Results
19.0ms334×body80valid

simplify12.0ms

Counts
1 → 1
Iterations
IterNodes
done11
211
110
06

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.7b

localize28.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ x (* y y)) 3.0)
8.1b
(/ x (* y y))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
50×times-frac
40×*-un-lft-identity
38×add-cube-cbrt
15×associate-/r*
13×swap-sqr
12×associate-*r* associate-*l*
7×add-cbrt-cube add-exp-log
6×difference-of-squares
5×*-commutative unswap-sqr
4×add-log-exp
3×associate-/l*
2×pow1 cbrt-undiv div-exp insert-posit16
1×clear-num sub-neg frac-2neg flip3-- diff-log prod-exp cbrt-unprod div-inv flip-- distribute-lft-out--
Counts
2 → 98
Calls
2 calls:
93.0ms
(- (/ x (* y y)) 3.0)
29.0ms
(/ x (* y y))

series137.0ms

Counts
2 → 6
Calls
2 calls:
87.0ms
(- (/ x (* y y)) 3.0)
50.0ms
(/ x (* y y))

simplify1.3s

Counts
104 → 104
Iterations
IterNodes
done5001
21274
1402
0153

prune275.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ (/ x y) y) 3.0)
0.2b
(/ (/ x y) y)

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
55×add-sqr-sqrt
48×*-un-lft-identity
46×add-cube-cbrt
16×associate-/l*
9×associate-/l/
7×add-cbrt-cube add-exp-log
6×associate-/r*
5×div-inv
4×add-log-exp
3×cbrt-undiv div-exp difference-of-squares
2×pow1 clear-num frac-2neg insert-posit16
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
2 → 96
Calls
2 calls:
57.0ms
(- (/ (/ x y) y) 3.0)
13.0ms
(/ (/ x y) y)

series111.0ms

Counts
2 → 6
Calls
2 calls:
79.0ms
(- (/ (/ x y) y) 3.0)
32.0ms
(/ (/ x y) y)

simplify3.2s

Counts
102 → 102
Iterations
IterNodes
done5040
34763
21020
1396
0181

prune386.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ 1 (* y (/ y x))) 3.0)
0.1b
(* y (/ y x))
0.5b
(/ 1 (* y (/ y x)))

rewrite317.0ms

Algorithm
rewrite-expression-head
Rules
127×times-frac
123×add-sqr-sqrt
83×*-un-lft-identity
75×add-cube-cbrt
65×associate-*r*
29×associate-/r* add-exp-log
18×associate-*r/
17×add-cbrt-cube
15×associate-*l*
14×unswap-sqr
11×associate-/r/ associate-/l*
10×div-exp
8×pow1 prod-exp
7×div-inv difference-of-squares
5×cbrt-undiv clear-num *-commutative add-log-exp
4×un-div-inv cbrt-unprod
3×rec-exp frac-2neg 1-exp insert-posit16
2×pow-prod-down pow-flip distribute-lft-out--
1×sub-neg flip3-- diff-log flip-- inv-pow
Counts
3 → 197
Calls
3 calls:
237.0ms
(- (/ 1 (* y (/ y x))) 3.0)
25.0ms
(* y (/ y x))
41.0ms
(/ 1 (* y (/ y x)))

series93.0ms

Counts
3 → 9
Calls
3 calls:
36.0ms
(- (/ 1 (* y (/ y x))) 3.0)
25.0ms
(* y (/ y x))
32.0ms
(/ 1 (* y (/ y x)))

simplify1.6s

Counts
206 → 206
Iterations
IterNodes
done5001
21850
1687
0275

prune610.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ (/ 1 y) (/ y x)) 3.0)
0.2b
(/ (/ 1 y) (/ y x))

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
434×times-frac
227×add-sqr-sqrt
206×*-un-lft-identity
202×add-cube-cbrt
29×div-inv
24×add-exp-log
19×associate-/r* associate-/l*
16×div-exp
14×add-cbrt-cube
9×associate-/r/ associate-/l/
8×cbrt-undiv
7×difference-of-squares
4×add-log-exp
3×clear-num frac-2neg
2×pow1 rec-exp 1-exp insert-posit16
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
2 → 257
Calls
2 calls:
141.0ms
(- (/ (/ 1 y) (/ y x)) 3.0)
23.0ms
(/ (/ 1 y) (/ y x))

series75.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(- (/ (/ 1 y) (/ y x)) 3.0)
34.0ms
(/ (/ 1 y) (/ y x))

simplify2.1s

Counts
263 → 263
Iterations
IterNodes
done5000
23598
11512
0457

prune814.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes252.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done6
06

end0.0ms

sample957.0ms

Algorithm
intervals
Results
724.0ms10680×body80valid