Details

Time bar (total: 9.8s)

sample10.0ms

Algorithm
intervals
Results
5.0ms256×body80valid

simplify3.0ms

Counts
1 → 1
Iterations
IterNodes
done6
16
05

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (/ 1.0 3.0))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity
3×fma-def add-log-exp
2×add-sqr-sqrt add-cube-cbrt
1×expm1-log1p-u pow1 +-commutative sum-log flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u distribute-lft-out
Counts
1 → 18
Calls
1 calls:
10.0ms
(+ x (/ 1.0 3.0))

series20.0ms

Counts
1 → 3
Calls
1 calls:
20.0ms
(+ x (/ 1.0 3.0))

simplify2.8s

Counts
21 → 21
Iterations
IterNodes
done5000
54370
41491
3554
2227
184
031

prune76.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ 1.0 3.0))
0.0b
(- x (/ 1.0 3.0))
0.0b
(* (- x (/ 1.0 3.0)) (+ (/ 1.0 3.0) x))
14.3b
(/ (* (- x (/ 1.0 3.0)) (+ (/ 1.0 3.0) x)) (- x (/ 1.0 3.0)))

rewrite221.0ms

Algorithm
rewrite-expression-head
Rules
105×add-sqr-sqrt
90×*-un-lft-identity
78×prod-diff add-cube-cbrt
65×times-frac
11×add-cbrt-cube add-exp-log
10×difference-of-squares
9×flip3-- flip--
8×frac-times add-log-exp associate-/l/
7×div-inv
6×pow1 associate-/r* flip3-+ fma-neg associate-*l* flip-+
5×distribute-lft-out--
4×expm1-log1p-u associate-*r* associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u
2×cbrt-undiv sub-neg diff-log div-exp prod-exp associate-/r/ cbrt-unprod
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down *-commutative distribute-lft-out associate-/l* unswap-sqr
Counts
4 → 195
Calls
4 calls:
12.0ms
(- x (/ 1.0 3.0))
13.0ms
(- x (/ 1.0 3.0))
111.0ms
(* (- x (/ 1.0 3.0)) (+ (/ 1.0 3.0) x))
74.0ms
(/ (* (- x (/ 1.0 3.0)) (+ (/ 1.0 3.0) x)) (- x (/ 1.0 3.0)))

series204.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- x (/ 1.0 3.0))
27.0ms
(- x (/ 1.0 3.0))
106.0ms
(* (- x (/ 1.0 3.0)) (+ (/ 1.0 3.0) x))
30.0ms
(/ (* (- x (/ 1.0 3.0)) (+ (/ 1.0 3.0) x)) (- x (/ 1.0 3.0)))

simplify2.2s

Counts
207 → 207
Iterations
IterNodes
done5001
22975
1753
0255

prune713.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ 1.0 3.0))
0.0b
(fma x (- x (/ 1.0 3.0)) (* (/ 1.0 3.0) (/ 1.0 3.0)))
0.1b
(fma (* x x) x (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0))))
18.9b
(/ (fma (* x x) x (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (fma x (- x (/ 1.0 3.0)) (* (/ 1.0 3.0) (/ 1.0 3.0))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
49×*-un-lft-identity
47×add-cube-cbrt
39×prod-diff
37×times-frac
6×add-cbrt-cube add-exp-log add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u div-inv
3×associate-/r* fma-neg associate-/l*
2×fma-udef difference-of-squares
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp flip-- distribute-lft-out--
Counts
4 → 112
Calls
4 calls:
12.0ms
(- x (/ 1.0 3.0))
0.0ms
(fma x (- x (/ 1.0 3.0)) (* (/ 1.0 3.0) (/ 1.0 3.0)))
0.0ms
(fma (* x x) x (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0))))
5.0ms
(/ (fma (* x x) x (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (fma x (- x (/ 1.0 3.0)) (* (/ 1.0 3.0) (/ 1.0 3.0))))

series468.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- x (/ 1.0 3.0))
33.0ms
(fma x (- x (/ 1.0 3.0)) (* (/ 1.0 3.0) (/ 1.0 3.0)))
127.0ms
(fma (* x x) x (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0))))
268.0ms
(/ (fma (* x x) x (* (/ 1.0 3.0) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (fma x (- x (/ 1.0 3.0)) (* (/ 1.0 3.0) (/ 1.0 3.0))))

simplify2.3s

Counts
124 → 124
Iterations
IterNodes
done5083
33296
21233
1498
0227

prune453.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes41.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done6
16
05

end0.0ms

sample302.0ms

Algorithm
intervals
Results
218.0ms8000×body80valid