Details

Time bar (total: 11.1s)

sample275.0ms

Algorithm
intervals
Results
46.0ms650×body80valid

simplify30.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize38.0ms

Local error

Found 1 expressions with local error:

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

rewrite14.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
12.0ms
(- (pow x 4) (pow y 4))

series94.0ms

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

simplify1.1s

Counts
25 → 27
Calls
25 calls:
Slowest
99.0ms
(- (pow (sqrt x) 4) (pow y (/ 4 2)))
88.0ms
(- (pow x (/ 4 2)) (pow (sqrt y) 4))
82.0ms
(/ (exp (pow x 4)) (exp (pow y 4)))
73.0ms
(+ (pow (sqrt x) 4) (pow (sqrt y) 4))
72.0ms
(+ (pow (sqrt x) 4) (pow y (/ 4 2)))

prune205.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.3b
(* (- (* x x) (* y y)) (+ (* y y) (* x x)))
0.0b
(- (* x x) (* y y))
0.0b
(+ (* y y) (* x x))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt add-log-exp
5×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×frac-times flip3-+ flip3-- associate-*l* flip-+ flip--
3×associate-*r* insert-posit16
2×associate-*l/ associate-*r/ difference-of-squares
1×distribute-rgt-in +-commutative sum-log sub-neg distribute-lft-in diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 56
Calls
3 calls:
Slowest
52.0ms
(* (- (* x x) (* y y)) (+ (* y y) (* x x)))
14.0ms
(+ (* y y) (* x x))
7.0ms
(- (* x x) (* y y))

series204.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
111.0ms
(* (- (* x x) (* y y)) (+ (* y y) (* x x)))
55.0ms
(- (* x x) (* y y))
38.0ms
(+ (* y y) (* x x))

simplify5.8s

Counts
38 → 65
Calls
38 calls:
Slowest
722.0ms
(* (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* y y) (* y y)) (* (* x x) (* x x))))
602.0ms
(* (+ (* (* x x) (* x x)) (+ (* (* y y) (* y y)) (* (* x x) (* y y)))) (- (* y y) (* x x)))
402.0ms
(* (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y))) (* (* (+ (* y y) (* x x)) (+ (* y y) (* x x))) (+ (* y y) (* x x))))
329.0ms
(* (* x x) (- (* x x) (* y y)))
321.0ms
(* (- (* x x) (* y y)) (* x x))

prune491.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes151.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.5s

Algorithm
intervals
Results
2.1s20764×body80valid