Details

Time bar (total: 13.1s)

sample45.0ms

Algorithm
intervals
Results
17.0ms366×body80valid

simplify222.0ms

Counts
1 → 1
Iterations
IterNodes
done251
6251
5248
4206
3140
267
126
013

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
10×sum-log
9×pow1 fma-def add-cbrt-cube add-exp-log
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u
3×+-commutative flip3-+ associate-*r* pow-prod-down prod-exp cbrt-unprod flip-+
2×associate-+l+
1×associate-*l* *-commutative
Counts
4 → 73
Calls
4 calls:
7.0ms
(+ x (* y z))
90.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
22.0ms
(+ (+ x (* y z)) (* t a))
20.0ms
(* (* a z) b)

series285.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(+ x (* y z))
139.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
69.0ms
(+ (+ x (* y z)) (* t a))
32.0ms
(* (* a z) b)

simplify1.6s

Counts
85 → 85
Iterations
IterNodes
done5001
22246
1365
0123

prune578.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b)
0.6b
(cbrt b)
0.6b
(* (* z (* a (* (cbrt b) (cbrt b)))) (cbrt b))
4.1b
(* z (* a (* (cbrt b) (cbrt b))))

rewrite337.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1 add-exp-log
19×add-cbrt-cube
16×pow-prod-down prod-exp cbrt-unprod
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×associate-*r*
4×expm1-log1p-u associate-*l* log1p-expm1-u add-log-exp
2×pow1/3 *-commutative
Counts
4 → 78
Calls
4 calls:
1.0ms
(cbrt b)
1.0ms
(cbrt b)
241.0ms
(* (* z (* a (* (cbrt b) (cbrt b)))) (cbrt b))
90.0ms
(* z (* a (* (cbrt b) (cbrt b))))

series864.0ms

Counts
4 → 12
Calls
4 calls:
312.0ms
(cbrt b)
319.0ms
(cbrt b)
65.0ms
(* (* z (* a (* (cbrt b) (cbrt b)))) (cbrt b))
168.0ms
(* z (* a (* (cbrt b) (cbrt b))))

simplify1.0s

Counts
90 → 90
Iterations
IterNodes
done5001
21602
1283
0105

prune488.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 1 expressions with local error:

2.4b
(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 log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma z (fma a b y) x)

series72.0ms

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

simplify2.5s

Counts
13 → 13
Iterations
IterNodes
done5000
44185
3399
283
137
022

prune85.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize14.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.6b
(* a (fma z b t))

rewrite47.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* 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 → 58
Calls
3 calls:
5.0ms
(+ x (* y z))
34.0ms
(+ (+ x (* y z)) (* a (fma z b t)))
7.0ms
(* a (fma z b t))

series213.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(+ x (* y z))
119.0ms
(+ (+ x (* y z)) (* a (fma z b t)))
50.0ms
(* a (fma z b t))

simplify875.0ms

Counts
67 → 67
Iterations
IterNodes
done5000
2971
1259
096

prune458.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes654.0ms

Accuracy

31.1% (1.3b remaining)

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

bsearch53.0ms

Steps
ItersRangePoint
8
-1.2640192792033403e-119
-1.478505045529562e-122
-1.2403038021718973e-119

simplify4.0ms

Iterations
IterNodes
done26
126
019

end0.0ms

sample2.4s

Algorithm
intervals
Results
994.0ms11774×body80valid