Details

Time bar (total: 57.2s)

sample284.0ms

Algorithm
intervals
Results
189.0ms621×body80valid

simplify37.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
37.0ms
(- (pow x 4) (pow y 4))

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
9×difference-of-squares
8×unpow-prod-down
6×sqr-pow
5×*-un-lft-identity
3×add-log-exp
2×distribute-lft-out--
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 flip--
Counts
1 → 24
Calls
1 calls:
Slowest
31.0ms
(- (pow x 4) (pow y 4))

series68.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
68.0ms
(- (pow x 4) (pow y 4))

simplify1.3s

Counts
25 → 27
Calls
25 calls:
Slowest
154.0ms
(+ (pow (sqrt x) 4) (pow y (/ 4 2)))
112.0ms
(- (pow x (/ 4 2)) (pow (sqrt y) 4))
103.0ms
(- (pow (sqrt x) 4) (pow y (/ 4 2)))
88.0ms
(- (pow (sqrt x) 4) (sqrt (pow y 4)))
80.0ms
(+ (pow x (/ 4 2)) (pow (sqrt y) 4))

prune194.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

27.3b
(cbrt (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4))))
0.2b
(* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)))
0.1b
(* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4)))
0.0b
(- (pow x 4) (pow y 4))

rewrite457.0ms

Algorithm
rewrite-expression-head
Rules
84×add-sqr-sqrt
61×flip3-- flip--
60×frac-times
54×difference-of-squares
48×unpow-prod-down
39×*-un-lft-identity
36×sqr-pow
30×pow1 associate-*l/
28×associate-*r*
26×cbrt-div
18×associate-*r/
16×swap-sqr
15×associate-*l*
14×distribute-lft-out--
11×add-cbrt-cube add-exp-log
9×add-cube-cbrt
7×pow-plus pow-prod-up
6×add-log-exp
5×sub-neg
4×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp cbrt-unprod insert-posit16
3×pow2 pow-sqr
2×pow3 *-commutative unswap-sqr
1×cbrt-prod pow1/3 diff-log rem-cbrt-cube
Counts
4 → 204
Calls
4 calls:
Slowest
218.0ms
(* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4)))
131.0ms
(cbrt (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4))))
90.0ms
(* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)))
13.0ms
(- (pow x 4) (pow y 4))

series485.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
224.0ms
(* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4)))
109.0ms
(* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)))
86.0ms
(cbrt (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4))))
66.0ms
(- (pow x 4) (pow y 4))

simplify49.6s

Counts
228 → 216
Calls
228 calls:
Slowest
1.5s
(* (* (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))) (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))) (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))))
1.4s
(cbrt (* (* (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))) (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))) (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))))
1.4s
(* (* (- (pow (pow x 4) 3) (pow (pow y 4) 3)) (- (pow (pow x 4) 3) (pow (pow y 4) 3))) (- (pow (pow x 4) 3) (pow (pow y 4) 3)))
1.1s
(* (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4))) (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4))))
1.1s
(cbrt (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))))

prune2.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes194.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.7s20442×body80valid