Details

Time bar (total: 16.3s)

sample45.0ms

Algorithm
intervals
Results
22.0ms364×body80valid

simplify119.0ms

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

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize21.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:
1.0ms
(fma z (fma a b y) x)

series100.0ms

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

simplify1.4s

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

prune95.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.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:
7.0ms
(+ x (* y z))
20.0ms
(* (* a z) b)

series83.0ms

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

simplify2.6s

Counts
44 → 44
Iterations
IterNodes
done5001
33051
2696
1193
073

prune246.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.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:
7.0ms
(+ x (* y z))
20.0ms
(* a (* z b))

series63.0ms

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

simplify2.7s

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

prune224.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

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

rewrite67.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:
18.0ms
(* a (* z b))
24.0ms
(* a (* z b))
12.0ms
(sqrt (* a (* z b)))
13.0ms
(sqrt (* a (* z b)))

series211.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* a (* z b))
38.0ms
(* a (* z b))
63.0ms
(sqrt (* a (* z b)))
68.0ms
(sqrt (* a (* z b)))

simplify5.1s

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

prune547.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.0b

regimes552.0ms

Accuracy

92.2% (0.2b remaining)

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

bsearch97.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

sample1.8s

Algorithm
intervals
Results
1.4s11854×body80valid