Details

Time bar (total: 10.3s)

sample34.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
7.0ms256×pre80true

simplify585.0ms

Counts
1 → 1
Iterations
IterNodes
done565
7565
6558
5483
4348
3169
258
119
09

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize14.0ms

Local error

Found 3 expressions with local error:

0.2b
(+ (+ e d) c)
0.2b
(+ (+ (+ (+ e d) c) b) a)
0.3b
(+ (+ (+ e d) c) b)

rewrite681.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
31×add-log-exp
29×distribute-lft-out
19×sum-log
15×fma-def
6×add-sqr-sqrt add-cube-cbrt
3×expm1-log1p-u pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log flip-+ log1p-expm1-u
Counts
3 → 72
Calls
3 calls:
40.0ms
(+ (+ e d) c)
523.0ms
(+ (+ (+ (+ e d) c) b) a)
114.0ms
(+ (+ (+ e d) c) b)

series147.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(+ (+ e d) c)
74.0ms
(+ (+ (+ (+ e d) c) b) a)
49.0ms
(+ (+ (+ e d) c) b)

simplify962.0ms

Counts
81 → 81
Iterations
IterNodes
done5000
21068
1244
089

prune399.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.2b
(+ (+ (+ e d) (+ c b)) a)
0.3b
(+ (+ e d) (+ c b))

rewrite263.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
32×add-log-exp
30×distribute-lft-out
21×sum-log
11×fma-def
6×flip3-+ flip-+
4×add-sqr-sqrt frac-add add-cube-cbrt
2×expm1-log1p-u pow1 +-commutative associate-+l+ add-cbrt-cube add-exp-log log1p-expm1-u
1×associate-+r+
Counts
2 → 60
Calls
2 calls:
211.0ms
(+ (+ (+ e d) (+ c b)) a)
48.0ms
(+ (+ e d) (+ c b))

series130.0ms

Counts
2 → 6
Calls
2 calls:
83.0ms
(+ (+ (+ e d) (+ c b)) a)
46.0ms
(+ (+ e d) (+ c b))

simplify1.1s

Counts
66 → 66
Iterations
IterNodes
done5001
21637
1362
0109

prune393.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.2b
(+ (+ c b) a)
0.3b
(+ (+ e d) (+ (+ c b) a))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
28×add-log-exp
20×distribute-lft-out
18×sum-log
8×fma-def
6×flip3-+ flip-+
4×add-sqr-sqrt frac-add add-cube-cbrt
2×expm1-log1p-u pow1 +-commutative associate-+l+ add-cbrt-cube add-exp-log log1p-expm1-u
1×associate-+r+
Counts
2 → 55
Calls
2 calls:
31.0ms
(+ (+ c b) a)
130.0ms
(+ (+ e d) (+ (+ c b) a))

series106.0ms

Counts
2 → 6
Calls
2 calls:
18.0ms
(+ (+ c b) a)
89.0ms
(+ (+ e d) (+ (+ c b) a))

simplify1.3s

Counts
61 → 61
Iterations
IterNodes
done5000
21811
1324
097

prune406.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (+ e d))
0.1b
(sqrt (+ e d))
0.2b
(+ (+ c b) a)
0.3b
(fma (sqrt (+ e d)) (sqrt (+ e d)) (+ (+ c b) a))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
13×add-sqr-sqrt
9×add-log-exp
8×sqrt-prod
7×add-cube-cbrt
6×pow1 distribute-lft-out
4×expm1-log1p-u fma-def add-cbrt-cube sqrt-div add-exp-log log1p-expm1-u
3×sum-log flip3-+ flip-+
2×rem-sqrt-square sqrt-pow1 pow1/2 hypot-def
1×+-commutative associate-+l+ fma-udef
Counts
4 → 69
Calls
4 calls:
11.0ms
(sqrt (+ e d))
16.0ms
(sqrt (+ e d))
44.0ms
(+ (+ c b) a)
1.0ms
(fma (sqrt (+ e d)) (sqrt (+ e d)) (+ (+ c b) a))

series430.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(sqrt (+ e d))
49.0ms
(sqrt (+ e d))
21.0ms
(+ (+ c b) a)
306.0ms
(fma (sqrt (+ e d)) (sqrt (+ e d)) (+ (+ c b) a))

simplify879.0ms

Counts
81 → 81
Iterations
IterNodes
done5001
2976
1235
0101

prune505.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes546.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done13
113
09

end0.0ms

sample1.2s

Algorithm
intervals
Results
407.0ms8000×body80valid
338.0ms8000×pre80true