Details

Time bar (total: 17.6s)

sample51.0ms

Algorithm
intervals
Results
31.0ms256×body80valid

simplify3.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01619
13119
25219
37419
410219
511219
612319
716119
821619
926419
1033219
1150519
1278419
13398719
done500019

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
0.0b
(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.1b
(* x (+ 0.99229 (* x 0.04481)))
13.5b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite304.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
20×*-un-lft-identity
16×add-cube-cbrt
11×times-frac
10×add-exp-log add-cbrt-cube
9×associate-*r*
8×pow1
6×associate-*l* add-log-exp
4×associate-*r/ difference-of-squares
3×distribute-rgt-in sub-neg distribute-lft-in flip3-+ associate-/r* flip-+ associate-/l*
2×flip3-- pow-prod-down prod-exp associate-/r/ *-commutative flip-- cbrt-unprod associate-/l/ distribute-lft-out-- unswap-sqr
1×cbrt-undiv frac-2neg diff-log div-exp clear-num div-inv
Counts
4 → 95
Calls
4 calls:
65.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
180.0ms
(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
26.0ms
(* x (+ 0.99229 (* x 0.04481)))
31.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series379.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
121.0ms
(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
85.0ms
(* x (+ 0.99229 (* x 0.04481)))
59.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.3s

Counts
107 → 107
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02062229
15652159
224071981
done50021979

prune364.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711) (* 0.70711 (- x)))
0.1b
(* x (+ 0.99229 (* x 0.04481)))
0.2b
(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711)
13.5b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
19×times-frac
18×associate-*l*
13×add-exp-log add-cbrt-cube
8×pow1
6×associate-*r* add-log-exp
5×flip3-+ flip-+
4×associate-/r/
3×prod-exp associate-/r* cbrt-unprod associate-/l* unswap-sqr
2×cbrt-undiv associate-*r/ div-exp pow-prod-down *-commutative distribute-rgt-neg-out div-inv associate-/l/
1×+-commutative distribute-rgt-in frac-2neg distribute-lft-in unsub-neg associate-*l/ clear-num sum-log
Counts
4 → 100
Calls
4 calls:
35.0ms
(+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711) (* 0.70711 (- x)))
34.0ms
(* x (+ 0.99229 (* x 0.04481)))
39.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711)
32.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series443.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711) (* 0.70711 (- x)))
117.0ms
(* x (+ 0.99229 (* x 0.04481)))
119.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711)
84.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify2.0s

Counts
112 → 112
Iterations

Useful iterations: done (2.0s)

IterNodesCost
02242336
16442251
231452013
done50002007

prune495.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (+ 0.99229 (* x 0.04481)))
0.1b
(* (sqrt 0.70711) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.1b
(* (sqrt 0.70711) (* (sqrt 0.70711) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)))
13.5b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite437.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
21×*-un-lft-identity
19×add-cube-cbrt
15×add-exp-log associate-*l* add-cbrt-cube
13×pow1
11×distribute-rgt-in distribute-lft-in
10×times-frac associate-*r*
8×associate-*r/
7×sqrt-prod
6×sub-neg
5×pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
3×flip3-+ associate-/r* *-commutative flip-+ associate-/l* unswap-sqr
2×flip3-- associate-/r/ flip-- associate-/l/ difference-of-squares
1×cbrt-undiv frac-2neg div-exp clear-num div-inv distribute-lft-out--
Counts
4 → 115
Calls
4 calls:
16.0ms
(* x (+ 0.99229 (* x 0.04481)))
180.0ms
(* (sqrt 0.70711) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
180.0ms
(* (sqrt 0.70711) (* (sqrt 0.70711) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)))
57.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series608.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(* x (+ 0.99229 (* x 0.04481)))
182.0ms
(* (sqrt 0.70711) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
208.0ms
(* (sqrt 0.70711) (* (sqrt 0.70711) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)))
91.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify2.0s

Counts
127 → 127
Iterations

Useful iterations: done (2.0s)

IterNodesCost
02352925
16702808
233122430
done50002414

prune462.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (sqrt 0.70711) (+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt 0.70711)) (* (sqrt 0.70711) (- x))))
0.1b
(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt 0.70711))
0.2b
(* (sqrt 0.70711) (- x))
13.5b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite278.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
29×add-cube-cbrt *-un-lft-identity
27×associate-*l*
20×times-frac
19×associate-*r*
15×add-exp-log add-cbrt-cube
13×sqrt-prod
10×pow1
8×unswap-sqr
4×flip3-+ prod-exp associate-/r/ cbrt-unprod flip-+ add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in pow-prod-down associate-/r* *-commutative associate-/l*
2×cbrt-undiv associate-*r/ div-exp div-inv associate-/l/
1×distribute-rgt-in neg-mul-1 frac-2neg distribute-lft-in associate-*l/ clear-num distribute-rgt-neg-out
Counts
4 → 126
Calls
4 calls:
135.0ms
(* (sqrt 0.70711) (+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt 0.70711)) (* (sqrt 0.70711) (- x))))
47.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt 0.70711))
38.0ms
(* (sqrt 0.70711) (- x))
50.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series583.0ms

Counts
4 → 12
Calls
4 calls:
275.0ms
(* (sqrt 0.70711) (+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt 0.70711)) (* (sqrt 0.70711) (- x))))
150.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt 0.70711))
57.0ms
(* (sqrt 0.70711) (- x))
102.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify2.4s

Counts
138 → 138
Iterations

Useful iterations: done (2.4s)

IterNodesCost
02483061
17182924
239472580
done50022574

prune619.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes21.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01822
12922
23322
33422
done3422

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.2s8000×body80valid