Details

Time bar (total: 31.5s)

sample135.0ms

Algorithm
intervals
Results
47.0ms673×body80valid

simplify53.0ms

Calls
1 calls:
Slowest
52.0ms
(- (pow x 4) (pow y 4))

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (pow x 4) (pow y 4))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
53×unpow-prod-down
49×prod-diff
43×add-sqr-sqrt
35×*-un-lft-identity
31×add-cube-cbrt
21×sqr-pow
9×difference-of-squares
7×fma-neg
3×add-log-exp
2×distribute-lft-out--
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log insert-posit16 log1p-expm1-u flip--
Calls
1 calls:
Slowest
23.0ms
(- (pow x 4) (pow y 4))

series66.0ms

Calls
1 calls:
Slowest
66.0ms
(- (pow x 4) (pow y 4))

simplify19.1s

Calls
129 calls:
Slowest
617.0ms
(fma (- (pow (sqrt y) 4)) (pow (sqrt y) 4) (* (pow (sqrt y) 4) (pow (sqrt y) 4)))
403.0ms
(fma (pow (* (cbrt x) (cbrt x)) 4) (pow (cbrt x) 4) (- (* (pow (cbrt y) 4) (pow (* (cbrt y) (cbrt y)) 4))))
378.0ms
(fma (pow 1 4) (pow x 4) (- (* (pow y (/ 4 2)) (pow y (/ 4 2)))))
362.0ms
(fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))
354.0ms
(fma (pow (* (cbrt x) (cbrt x)) 4) (pow (cbrt x) 4) (- (* (pow (sqrt y) 4) (pow (sqrt y) 4))))

prune637.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

11.1b
(sqrt (pow x 4))
11.1b
(sqrt (pow x 4))
11.0b
(sqrt (pow y 4))
11.0b
(sqrt (pow y 4))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
28×sqrt-prod
20×add-sqr-sqrt
16×unpow-prod-down
12×rem-sqrt-square *-un-lft-identity add-cube-cbrt
8×sqr-pow
4×expm1-log1p-u pow1 sqrt-pow1 add-cbrt-cube pow1/2 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
3.0ms
(sqrt (pow x 4))
3.0ms
(sqrt (pow x 4))
2.0ms
(sqrt (pow y 4))
2.0ms
(sqrt (pow y 4))

series159.0ms

Calls
4 calls:
Slowest
47.0ms
(sqrt (pow x 4))
38.0ms
(sqrt (pow y 4))
38.0ms
(sqrt (pow y 4))
34.0ms
(sqrt (pow x 4))

simplify978.0ms

Calls
52 calls:
Slowest
93.0ms
(sqrt (pow (* (cbrt x) (cbrt x)) 4))
88.0ms
(sqrt (pow (* (cbrt x) (cbrt x)) 4))
88.0ms
(sqrt (pow (* (cbrt y) (cbrt y)) 4))
63.0ms
(sqrt (pow (* (cbrt y) (cbrt y)) 4))
45.0ms
(sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4))))

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (* x x) (* x x))
0.2b
(* (* y y) (* y y))
0.0b
(- (* (* x x) (* x x)) (* (* y y) (* y y)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
225×pow1
72×pow-prod-up
46×pow-prod-down
44×pow-sqr
36×pow-plus
27×add-cbrt-cube add-exp-log
26×pow2
16×prod-exp cbrt-unprod
5×add-log-exp
3×add-sqr-sqrt expm1-log1p-u *-un-lft-identity add-cube-cbrt insert-posit16 log1p-expm1-u
2×swap-sqr associate-*r* associate-*l* *-commutative unswap-sqr
1×sub-neg flip3-- fma-neg diff-log prod-diff flip-- difference-of-squares
Calls
3 calls:
Slowest
47.0ms
(* (* y y) (* y y))
35.0ms
(- (* (* x x) (* x x)) (* (* y y) (* y y)))
24.0ms
(* (* x x) (* x x))

series175.0ms

Calls
3 calls:
Slowest
67.0ms
(- (* (* x x) (* x x)) (* (* y y) (* y y)))
61.0ms
(* (* y y) (* y y))
47.0ms
(* (* x x) (* x x))

simplify4.7s

Calls
149 calls:
Slowest
408.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x)))
407.0ms
(* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) (* y y)) (* y y)))
405.0ms
(* (* (* (* y y) (* y y)) (* y y)) (* (* (* y y) (* y y)) (* y y)))
383.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) x) (* (* x x) x)))
369.0ms
(* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) (* x x)) (* x x)))

prune1.2s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes255.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.7s20547×body80valid