Details

Time bar (total: 17.4s)

sample68.0ms

Algorithm
intervals
Results
43.0ms364×body80valid

simplify147.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.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)

series99.0ms

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

simplify1.4s

Counts
14 → 14
Iterations
IterNodes
done5004
41440
3296
276
138
023

prune85.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite22.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:
6.0ms
(+ x (* y z))
16.0ms
(* (* a z) b)

series61.0ms

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

simplify2.2s

Counts
44 → 44
Iterations
IterNodes
done5001
33051
2696
1193
073

prune212.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite22.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:
5.0ms
(+ x (* y z))
16.0ms
(* a (* z b))

series64.0ms

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

simplify3.3s

Counts
44 → 44
Iterations
IterNodes
done5000
44011
31612
2543
1176
069

prune270.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize46.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)))

rewrite98.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:
30.0ms
(* a (* z b))
25.0ms
(* a (* z b))
19.0ms
(sqrt (* a (* z b)))
23.0ms
(sqrt (* a (* z b)))

series226.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* a (* z b))
42.0ms
(* a (* z b))
72.0ms
(sqrt (* a (* z b)))
66.0ms
(sqrt (* a (* z b)))

simplify5.4s

Counts
84 → 84
Iterations
IterNodes
done5000
42928
31036
2331
1114
055

prune549.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.0b

regimes611.0ms

Accuracy

92.2% (0.2b remaining)

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

bsearch132.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.3s

Algorithm
intervals
Results
1.8s11854×body80valid