Details

Time bar (total: 18.8s)

sample48.0ms

Algorithm
intervals
Results
30.0ms364×body80valid

simplify214.0ms

Counts
1 → 1
Iterations
IterNodes
done197
6197
5194
4183
3137
267
126
013

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

1.5b
(fma z (fma a b y) x)

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
1×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
1 → 11
Calls
1 calls:
0.0ms
(fma z (fma a b y) x)

series92.0ms

Counts
1 → 3
Calls
1 calls:
92.0ms
(fma z (fma a b y) x)

simplify1.4s

Counts
14 → 14
Iterations
IterNodes
done5002
41813
3346
281
138
023

prune89.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* y z))
5.1b
(* (* a z) b)

rewrite20.0ms

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

series79.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(+ x (* y z))
40.0ms
(* (* a z) b)

simplify2.1s

Counts
44 → 44
Iterations
IterNodes
done5000
33575
2727
1193
073

prune215.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* y z))
5.9b
(* a (* z b))

rewrite34.0ms

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

series87.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(+ x (* y z))
48.0ms
(* a (* z b))

simplify4.3s

Counts
44 → 44
Iterations
IterNodes
done5000
44548
31862
2576
1176
069

prune308.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

5.9b
(* a (* z b))
5.9b
(* a (* z b))
13.5b
(sqrt (* a (* z b)))
13.5b
(sqrt (* a (* z b)))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
14×add-cbrt-cube add-exp-log
12×pow-prod-down
6×add-sqr-sqrt *-un-lft-identity sqrt-pow1 associate-*l* prod-exp add-cube-cbrt cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×pow1/2 associate-*r* *-commutative sqrt-prod
Counts
4 → 72
Calls
4 calls:
34.0ms
(* a (* z b))
28.0ms
(* a (* z b))
24.0ms
(sqrt (* a (* z b)))
25.0ms
(sqrt (* a (* z b)))

series268.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* a (* z b))
39.0ms
(* a (* z b))
96.0ms
(sqrt (* a (* z b)))
100.0ms
(sqrt (* a (* z b)))

simplify5.7s

Counts
84 → 84
Iterations
IterNodes
done5000
42950
31171
2352
1114
055

prune518.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.0b

regimes516.0ms

Accuracy

92.2% (0.2b remaining)

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

bsearch147.0ms

Steps
ItersRangePoint
7
1.1399605573448542e-97
2.5323978389930595e-96
2.415354527944333e-97
6
-6.601853117021247e+22
-1.107136932052665e+22
-5.157691058688136e+22

simplify4.0ms

Iterations
IterNodes
done32
132
022

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.9s11854×body80valid