Details

Time bar (total: 18.4s)

sample34.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify7.2s

Counts
1 → 1
Iterations

Useful iterations: 2 (7.0ms)

IterNodesCost
01417
12217
23914
36614
49214
510214
612414
715214
820314
926414
1029914
1138114
1239414
1341314
1445114
1557814
1671414
1795114
18123314
19137914
20143614
21146614
22149114
23153214
24154214
done154214

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite168.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
54×*-un-lft-identity
52×add-cube-cbrt
45×prod-diff
37×times-frac
8×add-exp-log associate-/r/ add-cbrt-cube add-log-exp
7×flip3-+ flip-+
6×pow1
4×expm1-log1p-u log1p-expm1-u div-inv
3×fma-def fma-neg associate-*r* associate-*l* associate-/r* associate-/l*
2×associate-*l/ associate-/l/ difference-of-squares
1×cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative flip-- cbrt-unprod distribute-lft-out-- unswap-sqr
Counts
4 → 136
Calls
4 calls:
60.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
11.0ms
(+ 0.99229 (* x 0.04481))
31.0ms
(* (+ 0.99229 (* x 0.04481)) x)
56.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series361.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
66.0ms
(+ 0.99229 (* x 0.04481))
108.0ms
(* (+ 0.99229 (* x 0.04481)) x)
73.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify2.3s

Counts
148 → 148
Iterations

Useful iterations: done (2.3s)

IterNodesCost
02856840
17325761
222893845
done50013177

prune597.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))
0.7b
(/ (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)) (fma 0.27061 x 2.30753))
23.0b
(* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (+ (- (/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))) (/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))))
23.0b
(/ (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (/ (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)) (fma 0.27061 x 2.30753)))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
254×*-un-lft-identity
239×times-frac
128×add-sqr-sqrt
126×add-cube-cbrt
76×distribute-lft-out
69×associate-*r*
34×distribute-lft-neg-in distribute-rgt-out
32×sum-cubes
27×distribute-rgt-neg-in associate-/r*
15×add-exp-log add-cbrt-cube
11×associate-/r/ div-inv associate-/l*
7×flip3-+ flip-+
6×pow1
5×cbrt-undiv div-exp
4×expm1-log1p-u neg-mul-1 distribute-lft1-in log1p-expm1-u add-log-exp
3×frac-2neg associate-*r/ associate-*l* clear-num
2×associate-/l/
1×distribute-rgt-in distribute-lft-in pow-prod-down frac-add prod-exp *-commutative cbrt-unprod distribute-neg-frac unswap-sqr
Counts
4 → 265
Calls
4 calls:
47.0ms
(/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))
69.0ms
(/ (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)) (fma 0.27061 x 2.30753))
1.4s
(* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (+ (- (/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))) (/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))))
55.0ms
(/ (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (/ (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)) (fma 0.27061 x 2.30753)))

series533.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))
153.0ms
(/ (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)) (fma 0.27061 x 2.30753))
12.0ms
(* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (+ (- (/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))) (/ (fma 0.27061 x 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))))
244.0ms
(/ (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (/ (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)) (fma 0.27061 x 2.30753)))

simplify2.6s

Counts
277 → 277
Iterations

Useful iterations: 2 (996.0ms)

IterNodesCost
039412512
195412033
2432511283
done500011283

prune1.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes37.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01417
12017
done2017

end0.0ms

sample1.2s

Algorithm
intervals
Results
982.0ms8000×body80valid