Details

Time bar (total: 22.6s)

sample81.0ms

Algorithm
intervals
Results
24.0ms274×body80valid
23.0ms301×body80nan

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01214
12414
24714
37314
49614
513014
619314
744514
8111814
9448514
done500114

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.3b
(/ 1.0 (* x 9.0))
0.3b
(/ y (* 3.0 (sqrt x)))
0.3b
(* 3.0 (sqrt x))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
63×*-un-lft-identity
56×prod-diff
42×add-cube-cbrt
30×times-frac
23×associate--l+
16×add-exp-log add-cbrt-cube
11×distribute-lft-out--
10×div-inv
9×add-log-exp difference-of-squares
6×pow1 associate-*r* associate-/l*
5×fma-neg
4×cbrt-undiv expm1-log1p-u div-exp sqrt-prod log1p-expm1-u
3×diff-log associate-*l* prod-exp cbrt-unprod
2×sub-neg flip3-- frac-2neg clear-num associate-/r* frac-sub flip-- unswap-sqr
1×associate--l- pow-prod-down *-commutative
Counts
4 → 154
Calls
4 calls:
129.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
8.0ms
(/ 1.0 (* x 9.0))
9.0ms
(/ y (* 3.0 (sqrt x)))
10.0ms
(* 3.0 (sqrt x))

series174.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
18.0ms
(/ 1.0 (* x 9.0))
63.0ms
(/ y (* 3.0 (sqrt x)))
43.0ms
(* 3.0 (sqrt x))

simplify2.1s

Counts
166 → 166
Iterations

Useful iterations: done (2.1s)

IterNodesCost
03093815
18143282
241752699
done50002697

prune552.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
0.2b
(/ (/ 1.0 x) 9.0)
0.3b
(/ (/ y 3.0) (sqrt x))
0.3b
(/ (/ y 3.0) (sqrt x))

rewrite642.0ms

Algorithm
rewrite-expression-head
Rules
1734×times-frac
1677×add-sqr-sqrt
1085×*-un-lft-identity
914×add-cube-cbrt
703×prod-diff
359×sqrt-prod
254×difference-of-squares
131×associate--l+
86×distribute-lft-out--
82×div-inv
39×associate-/l*
19×add-exp-log add-cbrt-cube
15×associate-/r*
9×cbrt-undiv div-exp add-log-exp
7×fma-neg
4×pow1 expm1-log1p-u log1p-expm1-u
3×frac-2neg diff-log clear-num associate-/l/
2×sub-neg flip3-- frac-sub flip--
1×associate--l-
Counts
4 → 1037
Calls
4 calls:
425.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
16.0ms
(/ (/ 1.0 x) 9.0)
14.0ms
(/ (/ y 3.0) (sqrt x))
13.0ms
(/ (/ y 3.0) (sqrt x))

series226.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
21.0ms
(/ (/ 1.0 x) 9.0)
69.0ms
(/ (/ y 3.0) (sqrt x))
85.0ms
(/ (/ y 3.0) (sqrt x))

simplify1.7s

Counts
1049 → 1049
Iterations

Useful iterations: done (1.6s)

IterNodesCost
0127753930
1344449584
done500146546

prune4.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (/ 1.0 x) (sqrt 9.0)) (sqrt 9.0))
0.3b
(/ (/ 1.0 x) (sqrt 9.0))
0.3b
(/ (/ y 3.0) (sqrt x))
0.3b
(/ (/ y 3.0) (sqrt x))

rewrite247.0ms

Algorithm
rewrite-expression-head
Rules
1839×times-frac
884×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
648×sqrt-prod
121×associate-/l*
74×div-inv
28×add-exp-log add-cbrt-cube
24×associate-/r*
15×cbrt-undiv div-exp
4×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u associate-/l/ add-log-exp
Counts
4 → 941
Calls
4 calls:
69.0ms
(/ (/ (/ 1.0 x) (sqrt 9.0)) (sqrt 9.0))
20.0ms
(/ (/ 1.0 x) (sqrt 9.0))
20.0ms
(/ (/ y 3.0) (sqrt x))
20.0ms
(/ (/ y 3.0) (sqrt x))

series380.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(/ (/ (/ 1.0 x) (sqrt 9.0)) (sqrt 9.0))
91.0ms
(/ (/ 1.0 x) (sqrt 9.0))
91.0ms
(/ (/ y 3.0) (sqrt x))
81.0ms
(/ (/ y 3.0) (sqrt x))

simplify1.3s

Counts
953 → 953
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0102119279
1234816955
done500016214

prune3.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
0.3b
(/ y (* 3.0 (sqrt x)))
0.3b
(* 3.0 (sqrt x))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
108×add-sqr-sqrt
83×*-un-lft-identity
81×prod-diff
62×add-cube-cbrt
56×times-frac
41×associate--l+
17×difference-of-squares
11×distribute-lft-out--
10×add-exp-log add-cbrt-cube div-inv
8×add-log-exp
6×fma-neg associate-*r*
5×pow1
4×sqrt-prod
3×expm1-log1p-u diff-log associate-*l* log1p-expm1-u associate-/l*
2×cbrt-undiv sub-neg flip3-- div-exp prod-exp frac-sub flip-- cbrt-unprod unswap-sqr
1×associate--l- frac-2neg pow-prod-down clear-num associate-/r* *-commutative
Counts
3 → 157
Calls
3 calls:
166.0ms
(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
20.0ms
(/ y (* 3.0 (sqrt x)))
14.0ms
(* 3.0 (sqrt x))

series198.0ms

Counts
3 → 9
Calls
3 calls:
62.0ms
(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
84.0ms
(/ y (* 3.0 (sqrt x)))
51.0ms
(* 3.0 (sqrt x))

simplify2.5s

Counts
166 → 166
Iterations

Useful iterations: done (2.5s)

IterNodesCost
03224337
18553730
239122985
done50002984

prune520.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes60.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01112
11212
done1212

end0.0ms

sample1.8s

Algorithm
intervals
Results
653.0ms8557×body80valid
537.0ms8672×body80nan