Details

Time bar (total: 12.1s)

sample30.0ms

Algorithm
intervals
Results
12.0ms379×body80valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 2 (4.0ms)

IterNodesCost
089
1149
2308
3868
43018
510438
done50018

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (- y z) (- t x) x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (- y z) (- t x) x)

series51.0ms

Counts
1 → 3
Calls
1 calls:
51.0ms
(fma (- y z) (- t x) x)

simplify1.2s

Counts
13 → 13
Iterations

Useful iterations: 4 (274.0ms)

IterNodesCost
025146
149143
2114125
3341124
41876123
done5000123

prune77.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (- y z) (- t x)))
0.0b
(* (- y z) (- t x))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
36×prod-diff
35×add-sqr-sqrt
33×*-un-lft-identity
29×add-cube-cbrt
22×distribute-rgt-in associate-+r+ distribute-lft-in
6×flip3-- flip--
5×associate-*r* associate-*l*
4×pow1 add-exp-log frac-times sub-neg add-cbrt-cube add-log-exp
3×fma-def
2×expm1-log1p-u associate-*r/ associate-*l/ log1p-expm1-u distribute-lft-out-- difference-of-squares
1×+-commutative flip3-+ pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
2 → 92
Calls
2 calls:
12.0ms
(+ x (* (- y z) (- t x)))
76.0ms
(* (- y z) (- t x))

series117.0ms

Counts
2 → 6
Calls
2 calls:
71.0ms
(+ x (* (- y z) (- t x)))
46.0ms
(* (- y z) (- t x))

simplify2.1s

Counts
98 → 98
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01801605
14621343
223611122
done50001073

prune226.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (- y z)) (cbrt (- y z)))
0.6b
(cbrt (- y z))
0.6b
(cbrt (- y z))
0.6b
(cbrt (- y z))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
43×cbrt-prod
37×add-sqr-sqrt
35×*-un-lft-identity
18×cbrt-div
15×add-cube-cbrt
11×pow1
10×swap-sqr
9×flip3-- pow1/3 flip-- distribute-lft-out--
8×associate-*r* associate-*l*
7×difference-of-squares
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 109
Calls
4 calls:
48.0ms
(* (cbrt (- y z)) (cbrt (- y z)))
4.0ms
(cbrt (- y z))
4.0ms
(cbrt (- y z))
4.0ms
(cbrt (- y z))

series701.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(* (cbrt (- y z)) (cbrt (- y z)))
175.0ms
(cbrt (- y z))
181.0ms
(cbrt (- y z))
169.0ms
(cbrt (- y z))

simplify1.0s

Counts
121 → 121
Iterations

Useful iterations: done (1.0s)

IterNodesCost
01351434
12951320
210261262
done50011211

prune504.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- t x))))
0.1b
(* (sqrt (- y z)) (- t x))
0.2b
(* (sqrt (- y z)) (* (sqrt (- y z)) (- t x)))

rewrite264.0ms

Algorithm
rewrite-expression-head
Rules
99×distribute-rgt-in distribute-lft-in
90×prod-diff
79×add-sqr-sqrt
75×*-un-lft-identity
69×add-cube-cbrt
44×associate-+r+
42×sqrt-div
33×flip3-- flip--
32×frac-times
16×associate-*r/ associate-*l*
11×sqrt-prod
10×pow1 add-exp-log sub-neg associate-*l/ add-cbrt-cube
6×associate-*r*
5×add-log-exp
4×pow-prod-down prod-exp cbrt-unprod
3×expm1-log1p-u fma-def log1p-expm1-u distribute-lft-out-- difference-of-squares
2×*-commutative unswap-sqr
1×+-commutative flip3-+ sum-log flip-+
Counts
3 → 213
Calls
3 calls:
24.0ms
(+ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- t x))))
61.0ms
(* (sqrt (- y z)) (- t x))
152.0ms
(* (sqrt (- y z)) (* (sqrt (- y z)) (- t x)))

series331.0ms

Counts
3 → 9
Calls
3 calls:
75.0ms
(+ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- t x))))
184.0ms
(* (sqrt (- y z)) (- t x))
71.0ms
(* (sqrt (- y z)) (* (sqrt (- y z)) (- t x)))

simplify1.2s

Counts
222 → 222
Iterations

Useful iterations: done (1.2s)

IterNodesCost
03325567
19534767
done50003166

prune794.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes178.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
done78

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.1s12106×body80valid