Details

Time bar (total: 1.2m)

sample62.0ms

Algorithm
intervals
Results
24.0ms267×body80valid
22.0ms243×body80nan

simplify3.6s

Counts
1 → 1
Iterations
IterNodes
done5006
92920
81615
7959
6645
5435
4318
3176
262
124
012

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite847.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt
44×*-un-lft-identity
37×add-cube-cbrt
36×times-frac
34×associate-*l*
30×associate-*r*
16×add-cbrt-cube add-exp-log
13×unswap-sqr
12×associate-/r*
11×pow1
9×sqrt-prod
7×*-commutative
6×add-log-exp
5×prod-exp cbrt-unprod
4×distribute-rgt-in distribute-lft-in pow-prod-down associate--l+ insert-posit16
3×+-commutative associate-/l*
2×cbrt-undiv sub-neg div-exp associate-*r/ distribute-lft-out distribute-lft-out--
1×clear-num sum-log frac-2neg flip3-+ flip3-- flip-+ div-inv flip-- difference-of-squares
Counts
4 → 152
Calls
4 calls:
32.0ms
(+ y (/ 1.0 (* x 9.0)))
19.0ms
(* 3.0 (sqrt x))
19.0ms
(/ 1.0 (* x 9.0))
768.0ms
(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))

series324.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(+ y (/ 1.0 (* x 9.0)))
66.0ms
(* 3.0 (sqrt x))
42.0ms
(/ 1.0 (* x 9.0))
145.0ms
(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))

simplify2.2s

Counts
164 → 164
Iterations
IterNodes
done5000
22503
1718
0269

prune873.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.4s

Algorithm
rewrite-expression-head
Rules
62×add-sqr-sqrt
48×*-un-lft-identity
39×associate-*r*
36×times-frac add-cube-cbrt
24×associate-*l*
20×distribute-rgt-in distribute-lft-in
16×add-cbrt-cube add-exp-log
12×associate-/r* associate--l+ unswap-sqr
11×pow1
7×+-commutative *-commutative
6×sub-neg associate-*r/ add-log-exp
5×prod-exp sqrt-prod cbrt-unprod
4×pow-prod-down insert-posit16 distribute-lft-out--
3×distribute-lft-out associate-/l*
2×cbrt-undiv flip3-- div-exp flip-- difference-of-squares
1×clear-num sum-log frac-2neg flip3-+ flip-+ div-inv
Counts
4 → 169
Calls
4 calls:
41.0ms
(+ y (/ 1.0 (* x 9.0)))
752.0ms
(* 3.0 (- (+ y (/ 1.0 (* x 9.0))) 1.0))
14.0ms
(/ 1.0 (* x 9.0))
2.6s
(* (sqrt x) (* 3.0 (- (+ y (/ 1.0 (* x 9.0))) 1.0)))

series253.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(+ y (/ 1.0 (* x 9.0)))
54.0ms
(* 3.0 (- (+ y (/ 1.0 (* x 9.0))) 1.0))
31.0ms
(/ 1.0 (* x 9.0))
122.0ms
(* (sqrt x) (* 3.0 (- (+ y (/ 1.0 (* x 9.0))) 1.0)))

simplify2.0s

Counts
181 → 181
Iterations
IterNodes
done5002
22786
1761
0283

prune989.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.3s

Algorithm
rewrite-expression-head
Rules
2793×times-frac
2282×add-sqr-sqrt
1369×sqrt-prod
1181×*-un-lft-identity
1176×add-cube-cbrt
838×associate-*l*
834×associate-*r*
553×unswap-sqr
139×*-commutative
70×associate-/l*
42×associate-/r*
34×add-cbrt-cube add-exp-log
27×associate-/l/
23×div-inv
15×pow1
10×cbrt-undiv div-exp prod-exp cbrt-unprod
7×pow-prod-down
4×distribute-rgt-in distribute-lft-in associate--l+ insert-posit16 add-log-exp
2×+-commutative clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 associate-*r/ distribute-lft-out--
1×flip3-- sqrt-unprod flip-- distribute-lft-out difference-of-squares
Counts
4 → 1649
Calls
4 calls:
32.0ms
(* (sqrt x) (sqrt 9.0))
22.0ms
(* 3.0 (sqrt x))
10.9s
(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 (* (sqrt x) (sqrt 9.0))) (* (sqrt x) (sqrt 9.0)))) 1.0))
126.0ms
(/ (/ 1.0 (* (sqrt x) (sqrt 9.0))) (* (sqrt x) (sqrt 9.0)))

series1.1s

Counts
4 → 12
Calls
4 calls:
142.0ms
(* (sqrt x) (sqrt 9.0))
53.0ms
(* 3.0 (sqrt x))
640.0ms
(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 (* (sqrt x) (sqrt 9.0))) (* (sqrt x) (sqrt 9.0)))) 1.0))
234.0ms
(/ (/ 1.0 (* (sqrt x) (sqrt 9.0))) (* (sqrt x) (sqrt 9.0)))

simplify26.7s

Counts
1661 → 1661
Iterations
IterNodes
done5001
14826
01568

prune6.2s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
75×times-frac
73×add-sqr-sqrt
67×*-un-lft-identity
55×add-cube-cbrt
27×associate-*r*
20×distribute-rgt-in distribute-lft-in
16×add-cbrt-cube add-exp-log associate-/l*
12×associate-*l* associate--l+
11×pow1
9×associate-/l/
8×unswap-sqr
7×+-commutative
6×associate-/r* sub-neg associate-*r/ add-log-exp
5×sqrt-prod div-inv
4×pow-prod-down prod-exp cbrt-unprod insert-posit16 distribute-lft-out--
3×cbrt-undiv div-exp *-commutative distribute-lft-out
2×clear-num frac-2neg flip3-- flip-- difference-of-squares
1×sum-log flip3-+ flip-+
Counts
4 → 182
Calls
4 calls:
44.0ms
(+ y (/ (/ 1.0 x) 9.0))
575.0ms
(* 3.0 (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
13.0ms
(/ (/ 1.0 x) 9.0)
1.9s
(* (sqrt x) (* 3.0 (- (+ y (/ (/ 1.0 x) 9.0)) 1.0)))

series254.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(+ y (/ (/ 1.0 x) 9.0))
48.0ms
(* 3.0 (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
28.0ms
(/ (/ 1.0 x) 9.0)
128.0ms
(* (sqrt x) (* 3.0 (- (+ y (/ (/ 1.0 x) 9.0)) 1.0)))

simplify2.6s

Counts
194 → 194
Iterations
IterNodes
done5000
22732
1851
0323

prune999.0ms

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 0b

regimes236.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done16
116
012

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.4s8428×body80nan
1.2s8486×body80valid