Details

Time bar (total: 8.2s)

sample53.0ms

Algorithm
intervals
Results
30.0ms369×body80valid

simplify137.0ms

Counts
1 → 1
Iterations
IterNodes
done195
5195
4184
3133
265
126
013

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* y z))
0.0b
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
6.7b
(* (* a z) b)

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
14×add-log-exp
8×pow1 add-cbrt-cube add-exp-log
7×sum-log
6×add-sqr-sqrt fma-def *-un-lft-identity add-cube-cbrt
3×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u
2×+-commutative flip3-+ flip-+
1×associate-+l+ associate-*l* *-commutative
Counts
3 → 58
Calls
3 calls:
5.0ms
(+ x (* y z))
122.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
29.0ms
(* (* a z) b)

series232.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(+ x (* y z))
156.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
32.0ms
(* (* a z) b)

simplify677.0ms

Counts
67 → 67
Iterations
IterNodes
done2000
21371
1302
0107

prune365.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* y z))
0.0b
(+ (+ x (* y z)) (* a (fma z b t)))
2.2b
(* a (fma z b t))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×fma-def
5×pow1 add-cbrt-cube add-exp-log
4×sum-log fma-udef
3×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u
2×distribute-rgt-in +-commutative associate-+r+ distribute-lft-in flip3-+ flip-+
1×associate-+l+ pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 61
Calls
3 calls:
5.0ms
(+ x (* y z))
19.0ms
(+ (+ x (* y z)) (* a (fma z b t)))
6.0ms
(* a (fma z b t))

series236.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(+ x (* y z))
128.0ms
(+ (+ x (* y z)) (* a (fma z b t)))
67.0ms
(* a (fma z b t))

simplify627.0ms

Counts
70 → 70
Iterations
IterNodes
done2000
21002
1264
099

prune396.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (fma (* z a) b (fma y z x)) (* a t))
2.8b
(fma (* z a) b (fma y z x))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
4×add-log-exp
3×add-sqr-sqrt fma-def *-un-lft-identity add-cube-cbrt
2×expm1-log1p-u pow1 add-cbrt-cube add-exp-log fma-udef insert-posit16 log1p-expm1-u
1×+-commutative associate-+l+ sum-log flip3-+ flip-+
Counts
2 → 29
Calls
2 calls:
9.0ms
(+ (fma (* z a) b (fma y z x)) (* a t))
1.0ms
(fma (* z a) b (fma y z x))

series276.0ms

Counts
2 → 6
Calls
2 calls:
146.0ms
(+ (fma (* z a) b (fma y z x)) (* a t))
130.0ms
(fma (* z a) b (fma y z x))

simplify887.0ms

Counts
35 → 35
Iterations
IterNodes
done2000
31742
2394
1128
052

prune232.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma t a (fma z (fma a b y) x))
2.4b
(fma z (fma a b y) x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
2 → 22
Calls
2 calls:
0.0ms
(fma t a (fma z (fma a b y) x))
1.0ms
(fma z (fma a b y) x)

series231.0ms

Counts
2 → 6
Calls
2 calls:
137.0ms
(fma t a (fma z (fma a b y) x))
94.0ms
(fma z (fma a b y) x)

simplify426.0ms

Counts
28 → 28
Iterations
IterNodes
done2000
3423
2123
164
040

prune194.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes348.0ms

Accuracy

49.8% (1.4b remaining)

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

bsearch112.0ms

Steps
ItersRangePoint
9
5.9549948471991975e+119
4.858022742531374e+126
8.781993478759028e+119

simplify3.0ms

Iterations
IterNodes
done26
126
019

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.9s11855×body80valid