Details

Time bar (total: 18.9s)

sample54.0ms

Algorithm
intervals
Results
17.0ms256×pre80true
17.0ms256×body80valid

simplify584.0ms

Calls
1 calls:
Slowest
584.0ms
(* (+ a (+ b (+ c d))) 2)

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.8b

localize18.0ms

Local error

Found 2 expressions with local error:

2.7b
(+ a (+ b (+ c d)))
0.5b
(+ b (+ c d))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
2×add-sqr-sqrt expm1-log1p-u pow1 +-commutative associate-+r+ *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16 log1p-expm1-u add-log-exp
Calls
2 calls:
Slowest
2.0ms
(+ a (+ b (+ c d)))
1.0ms
(+ b (+ c d))

series48.0ms

Calls
2 calls:
Slowest
31.0ms
(+ a (+ b (+ c d)))
17.0ms
(+ b (+ c d))

simplify111.0ms

Calls
7 calls:
Slowest
22.0ms
(+ b (+ c d))
20.0ms
(+ b (+ c d))
20.0ms
(+ b (+ c d))
16.0ms
(+ b (+ c d))
14.0ms
(+ a (+ b c))

prune341.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 2.2b

localize10.0ms

Local error

Found 1 expressions with local error:

2.7b
(+ a (+ (+ b c) d))

rewrite4.0ms

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

series21.0ms

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

simplify53.0ms

Calls
3 calls:
Slowest
21.0ms
(+ b (+ c d))
18.0ms
(+ b (+ c d))
13.0ms
(+ a (+ b c))

prune174.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.9b

localize16.0ms

Local error

Found 1 expressions with local error:

2.7b
(+ (+ a (+ b c)) d)

rewrite10.0ms

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

series23.0ms

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

simplify68.0ms

Calls
5 calls:
Slowest
16.0ms
(sqrt (+ a (+ b c)))
16.0ms
(* (cbrt (+ a (+ b c))) (cbrt (+ a (+ b c))))
12.0ms
(+ b (+ c d))
12.0ms
(+ b (+ c d))
11.0ms
(+ a (+ b c))

prune241.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 1.6b

localize23.0ms

Local error

Found 4 expressions with local error:

2.7b
(+ (+ a (+ b c)) d)
2.7b
(+ (+ a (+ b c)) d)
2.7b
(+ (+ a (+ b c)) d)
0.6b
(cbrt (* (* (+ (+ a (+ b c)) d) (+ (+ a (+ b c)) d)) (+ (+ a (+ b c)) d)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
30×flip3-+ flip-+
28×frac-times
26×cbrt-div
14×associate-*l/
9×fma-def
8×associate-*r/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×+-commutative associate-+l+
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Calls
4 calls:
Slowest
44.0ms
(cbrt (* (* (+ (+ a (+ b c)) d) (+ (+ a (+ b c)) d)) (+ (+ a (+ b c)) d)))
6.0ms
(+ (+ a (+ b c)) d)
6.0ms
(+ (+ a (+ b c)) d)
6.0ms
(+ (+ a (+ b c)) d)

series165.0ms

Calls
4 calls:
Slowest
68.0ms
(cbrt (* (* (+ (+ a (+ b c)) d) (+ (+ a (+ b c)) d)) (+ (+ a (+ b c)) d)))
36.0ms
(+ (+ a (+ b c)) d)
33.0ms
(+ (+ a (+ b c)) d)
29.0ms
(+ (+ a (+ b c)) d)

simplify12.5s

Calls
46 calls:
Slowest
674.0ms
(cbrt (* (* (+ (+ a (+ b c)) d) (+ (pow (+ a (+ b c)) 3) (pow d 3))) (- (* (+ a (+ b c)) (+ a (+ b c))) (* d d))))
668.0ms
(cbrt (* (* (+ (+ a (+ b c)) d) (+ (pow (+ a (+ b c)) 3) (pow d 3))) (+ (pow (+ a (+ b c)) 3) (pow d 3))))
658.0ms
(cbrt (* (* (- (* (+ a (+ b c)) (+ a (+ b c))) (* d d)) (+ (pow (+ a (+ b c)) 3) (pow d 3))) (+ (+ a (+ b c)) d)))
643.0ms
(cbrt (* (* (- (* (+ a (+ b c)) (+ a (+ b c))) (* d d)) (+ (+ a (+ b c)) d)) (+ (pow (+ a (+ b c)) 3) (pow d 3))))
600.0ms
(cbrt (* (* (- (* (+ a (+ b c)) (+ a (+ b c))) (* d d)) (+ (pow (+ a (+ b c)) 3) (pow d 3))) (+ (pow (+ a (+ b c)) 3) (pow d 3))))

prune1.2s

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 1.3b

regimes1.4s

Accuracy

0% (1.4b remaining)

Error of 2.7b against oracle of 1.4b and baseline of 2.7b

bsearch5.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
972.0ms8000×body80valid
577.0ms8000×pre80true