Details

Time bar (total: 9.3s)

sample39.0ms

Algorithm
intervals
Results
15.0ms256×pre80true
11.0ms256×body80valid

simplify265.0ms

Calls
1 calls:
Slowest
265.0ms
(+ (+ (+ (+ e d) c) b) a)

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
9×fma-def
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×expm1-log1p-u pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u add-log-exp
Calls
3 calls:
Slowest
88.0ms
(+ (+ (+ (+ e d) c) b) a)
23.0ms
(+ (+ (+ e d) c) b)
5.0ms
(+ (+ e d) c)

series148.0ms

Calls
3 calls:
Slowest
74.0ms
(+ (+ (+ (+ e d) c) b) a)
48.0ms
(+ (+ (+ e d) c) b)
27.0ms
(+ (+ e d) c)

simplify318.0ms

Calls
17 calls:
Slowest
65.0ms
(* (cbrt (+ (+ (+ e d) c) b)) (cbrt (+ (+ (+ e d) c) b)))
41.0ms
(sqrt (+ (+ (+ e d) c) b))
28.0ms
(* (cbrt (+ (+ e d) c)) (cbrt (+ (+ e d) c)))
19.0ms
(+ a (+ b c))
17.0ms
(+ b (+ c d))

prune548.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
7×fma-def
6×flip3-+ flip-+
4×add-sqr-sqrt frac-add add-cube-cbrt add-log-exp
2×expm1-log1p-u pow1 +-commutative associate-+l+ add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u distribute-lft-out
1×associate-+r+ sum-log
Calls
2 calls:
Slowest
26.0ms
(+ (+ (+ e d) (+ c b)) a)
7.0ms
(+ (+ e d) (+ c b))

series120.0ms

Calls
2 calls:
Slowest
76.0ms
(+ (+ (+ e d) (+ c b)) a)
43.0ms
(+ (+ e d) (+ c b))

simplify1.7s

Calls
21 calls:
Slowest
550.0ms
(* (- e d) (+ (* c c) (- (* b b) (* c b))))
198.0ms
(+ (* (+ (pow e 3) (pow d 3)) (+ (* c c) (- (* b b) (* c b)))) (* (+ (* e e) (- (* d d) (* e d))) (+ (pow c 3) (pow b 3))))
190.0ms
(+ (* (- (* e e) (* d d)) (+ (* c c) (- (* b b) (* c b)))) (* (- e d) (+ (pow c 3) (pow b 3))))
143.0ms
(* (+ (* e e) (- (* d d) (* e d))) (- c b))
102.0ms
(* (+ (* e e) (- (* d d) (* e d))) (+ (* c c) (- (* b b) (* c b))))

prune480.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
6×fma-def *-un-lft-identity flip3-+ flip-+
4×add-sqr-sqrt frac-add add-cube-cbrt add-log-exp
2×expm1-log1p-u pow1 +-commutative associate-+l+ add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
1×associate-+r+ sum-log distribute-lft-out
Calls
2 calls:
Slowest
14.0ms
(+ (+ e d) (+ (+ c b) a))
4.0ms
(+ (+ c b) a)

series96.0ms

Calls
2 calls:
Slowest
75.0ms
(+ (+ e d) (+ (+ c b) a))
21.0ms
(+ (+ c b) a)

simplify2.4s

Calls
20 calls:
Slowest
395.0ms
(+ (* (- (* e e) (* d d)) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a)))) (* (- e d) (+ (pow (+ c b) 3) (pow a 3))))
365.0ms
(+ (* (+ (pow e 3) (pow d 3)) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a)))) (* (+ (* e e) (- (* d d) (* e d))) (+ (pow (+ c b) 3) (pow a 3))))
352.0ms
(* (+ (* e e) (- (* d d) (* e d))) (- (+ c b) a))
212.0ms
(+ (+ e d) (+ (+ c b) a))
208.0ms
(+ (* (+ (pow e 3) (pow d 3)) (- (+ c b) a)) (* (+ (* e e) (- (* d d) (* e d))) (- (* (+ c b) (+ c b)) (* a a))))

prune501.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×expm1-log1p-u pow1 +-commutative fma-def flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u add-log-exp
2×associate-+r+
1×associate-+l+
Calls
3 calls:
Slowest
6.0ms
(+ e (+ d (+ (+ c b) a)))
5.0ms
(+ d (+ (+ c b) a))
4.0ms
(+ (+ c b) a)

series129.0ms

Calls
3 calls:
Slowest
65.0ms
(+ e (+ d (+ (+ c b) a)))
47.0ms
(+ d (+ (+ c b) a))
17.0ms
(+ (+ c b) a)

simplify129.0ms

Calls
12 calls:
Slowest
15.0ms
(+ (+ c b) a)
13.0ms
(+ a (+ b c))
12.0ms
(+ a (+ b c))
11.0ms
(+ a (+ b c))
11.0ms
(+ a (+ b c))

prune530.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes416.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
570.0ms8000×pre80true
396.0ms8000×body80valid