Details

Time bar (total: 4.4s)

sample150.0ms

Algorithm
intervals
Results
48.0ms673×body80valid

simplify27.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 1 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity add-log-exp
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 flip-- distribute-lft-out-- difference-of-squares
Calls
1 calls:
Slowest
30.0ms
(- (pow x 4) (pow y 4))

series92.0ms

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

simplify90.0ms

Calls
7 calls:
Slowest
25.0ms
(/ (exp (pow x 4)) (exp (pow y 4)))
16.0ms
(- (pow x 4) (pow y 4))
13.0ms
(- (pow x 4) (pow y 4))
13.0ms
(+ (sqrt (pow x 4)) (sqrt (pow y 4)))
11.0ms
(- (sqrt (pow x 4)) (sqrt (pow y 4)))

prune167.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize25.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))

rewrite7.0ms

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

series127.0ms

Calls
4 calls:
Slowest
42.0ms
(sqrt (pow x 4))
38.0ms
(sqrt (pow y 4))
24.0ms
(sqrt (pow x 4))
22.0ms
(sqrt (pow y 4))

simplify129.0ms

Calls
28 calls:
Slowest
13.0ms
(sqrt (sqrt (pow x 4)))
10.0ms
(sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4))))
9.0ms
(sqrt (* (cbrt (pow x 4)) (cbrt (pow x 4))))
9.0ms
(sqrt (* (cbrt (pow y 4)) (cbrt (pow y 4))))
8.0ms
(sqrt (sqrt (pow y 4)))

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes182.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.2s

Algorithm
intervals
Results
1.8s20547×body80valid