Details

Time bar (total: 17.1s)

sample144.0ms

Algorithm
intervals
Results
47.0ms620×body80valid

simplify3.9s

Counts
1 → 1
Iterations
IterNodes
done5001
61930
5645
4238
378
235
114
06

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite19.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--
Counts
1 → 82
Calls
1 calls:
16.0ms
(- (pow x 4) (pow y 4))

series93.0ms

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

simplify2.4s

Counts
85 → 85
Iterations
IterNodes
done5001
32090
2715
1315
0149

prune180.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (pow x 4) (- (* (* y y) (* y y))))
0.2b
(* (* y y) (* y y))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
113×pow1
36×pow-prod-up
23×pow-prod-down
22×pow-sqr
18×pow-plus
14×add-cbrt-cube add-exp-log
13×pow2
8×prod-exp cbrt-unprod
7×fma-def
6×*-un-lft-identity add-log-exp
4×add-sqr-sqrt add-cube-cbrt
3×unpow-prod-down
2×expm1-log1p-u sum-log insert-posit16 log1p-expm1-u
1×neg-sub0 +-commutative associate-+r- flip3-+ swap-sqr associate-*r* associate-*l* unsub-neg neg-log *-commutative flip-+ distribute-lft-out unswap-sqr sqr-pow
Counts
2 → 92
Calls
2 calls:
14.0ms
(+ (pow x 4) (- (* (* y y) (* y y))))
27.0ms
(* (* y y) (* y y))

series132.0ms

Counts
2 → 6
Calls
2 calls:
67.0ms
(+ (pow x 4) (- (* (* y y) (* y y))))
65.0ms
(* (* y y) (* y y))

simplify3.5s

Counts
98 → 98
Iterations
IterNodes
done5001
32545
2614
1209
079

prune231.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* y y) (* y y))
0.2b
(* (* y y) (* y y))
0.2b
(* (* y y) (* y y))
16.0b
(cbrt (* (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* y y) (* y y))))

rewrite920.0ms

Algorithm
rewrite-expression-head
Rules
337×pow1
108×pow-prod-up
69×pow-prod-down
66×pow-sqr
54×pow-plus
40×add-cbrt-cube add-exp-log
39×pow2
24×prod-exp cbrt-unprod
4×add-sqr-sqrt expm1-log1p-u *-un-lft-identity add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
3×swap-sqr associate-*r* associate-*l* *-commutative unswap-sqr
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 211
Calls
4 calls:
39.0ms
(* (* y y) (* y y))
24.0ms
(* (* y y) (* y y))
44.0ms
(* (* y y) (* y y))
806.0ms
(cbrt (* (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* y y) (* y y))))

series198.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(* (* y y) (* y y))
35.0ms
(* (* y y) (* y y))
53.0ms
(* (* y y) (* y y))
46.0ms
(cbrt (* (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* y y) (* y y))))

simplify2.4s

Counts
223 → 223
Iterations
IterNodes
done5000
41598
3459
2225
1132
058

prune489.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes208.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done6
06

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.7s20337×body80valid