Details

Time bar (total: 17.5s)

sample17.0ms

Algorithm
intervals
Results
8.0ms335×body80valid

simplify19.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
067
1107
2237
3447
4577
done577

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b
(* x (- 1.0 (* x y)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×prod-diff
5×distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in
3×pow1 add-exp-log associate-*r* associate-*l* add-cbrt-cube
2×sub-neg associate-*r/
1×expm1-log1p-u flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 32
Calls
1 calls:
8.0ms
(* x (- 1.0 (* x y)))

series46.0ms

Counts
1 → 3
Calls
1 calls:
46.0ms
(* x (- 1.0 (* x y)))

simplify2.2s

Counts
35 → 35
Iterations

Useful iterations: 3 (323.0ms)

IterNodesCost
071411
1157408
2604356
33077341
done5001341

prune66.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 1.0 x) (- (* (pow x 2) y)))
8.6b
(* (pow x 2) y)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
8×associate-*l*
7×add-exp-log
6×add-log-exp
5×add-cube-cbrt *-un-lft-identity
4×unpow-prod-down add-cbrt-cube unswap-sqr
3×associate-*r* prod-exp
2×pow1 expm1-log1p-u sum-log log1p-expm1-u unpow2 sqr-pow
1×+-commutative neg-sub0 pow-to-exp associate-+r- fma-def flip3-+ unsub-neg neg-log pow-exp *-commutative cbrt-unprod flip-+
Counts
2 → 47
Calls
2 calls:
4.0ms
(+ (* 1.0 x) (- (* (pow x 2) y)))
6.0ms
(* (pow x 2) y)

series63.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(+ (* 1.0 x) (- (* (pow x 2) y)))
19.0ms
(* (pow x 2) y)

simplify516.0ms

Counts
53 → 53
Iterations

Useful iterations: done (515.0ms)

IterNodesCost
082507
1218455
2953400
done5000365

prune102.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
2.0b
(* (pow (* (cbrt x) (cbrt x)) 2) (* (pow (cbrt x) 2) y))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
44×add-exp-log
32×prod-exp
12×pow-exp
9×cbrt-prod add-cbrt-cube
8×add-sqr-sqrt pow-to-exp add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 cbrt-unprod
1×unpow-prod-down associate-*r* *-commutative unpow2 sqr-pow
Counts
4 → 74
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
0.0ms
(cbrt x)
13.0ms
(* (pow (* (cbrt x) (cbrt x)) 2) (* (pow (cbrt x) 2) y))

series573.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt x)
172.0ms
(cbrt x)
179.0ms
(cbrt x)
43.0ms
(* (pow (* (cbrt x) (cbrt x)) 2) (* (pow (cbrt x) 2) y))

simplify3.5s

Counts
86 → 86
Iterations

Useful iterations: 3 (452.0ms)

IterNodesCost
084863
1207661
2673477
33242404
done5000404

prune213.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
2.0b
(* (pow (* (cbrt x) (cbrt x)) 2) (* (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2) y))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
80×add-exp-log
62×prod-exp
24×pow-exp
10×pow-to-exp
9×cbrt-prod add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 cbrt-unprod
1×unpow-prod-down associate-*r* *-commutative unpow2 sqr-pow
Counts
4 → 82
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
0.0ms
(cbrt x)
19.0ms
(* (pow (* (cbrt x) (cbrt x)) 2) (* (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2) y))

series563.0ms

Counts
4 → 12
Calls
4 calls:
173.0ms
(cbrt x)
172.0ms
(cbrt x)
170.0ms
(cbrt x)
47.0ms
(* (pow (* (cbrt x) (cbrt x)) 2) (* (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2) y))

simplify8.9s

Counts
94 → 94
Iterations

Useful iterations: 3 (487.0ms)

IterNodesCost
01021454
12601236
2804836
34241452
done5000452

prune241.0ms

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 0.0b

regimes75.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
187
done87

end0.0ms

sample357.0ms

Algorithm
intervals
Results
188.0ms10630×body80valid